Stefan Kalkowski ce58a63fb6 Remove 'epit' from generic i.MX platform spec ... Remove the 'epit' variable from the generic imx31 and imx53 specification, and only add it to base-hw specific i.MX specs. Thereby the EPIT timer library gets build for base-hw only. Moreover, fix some const-ness issues in the platform_timer implementation for the EPIT timer. Fixes #688.		2013-03-14 11:27:51 +01:00
..
spec-hw_arndale.mk	hw_arndale: enable nested init test	2013-02-20 19:39:16 +01:00
spec-hw_imx31.mk	Remove 'epit' from generic i.MX platform spec	2013-03-14 11:27:51 +01:00
spec-hw_imx53.mk	Remove 'epit' from generic i.MX platform spec	2013-03-14 11:27:51 +01:00
spec-hw_panda.mk	Merge panda_a2 and panda SPEC (fix #505, fix #506)	2012-11-23 12:20:27 +01:00
spec-hw_pbxa9.mk	Run Genode directly on hardware with 'base-hw'.	2012-08-03 12:06:37 +02:00
spec-hw_vea9x4.mk	Run Genode directly on hardware with 'base-hw'.	2012-08-03 12:06:37 +02:00