mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
ce58a63fb6
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. |
||
---|---|---|
.. | ||
doc | ||
include | ||
lib/mk | ||
mk | ||
run | ||
src |