mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-27 06:39:22 +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.
This directory contains the build system. In consists mainly of makefile templates for different directory roles. :'global.mk': This file contains global variables, for example the definitions of the tools to use. :'generic.mk': Generic rules for creating file types from others. :'prg.mk': This file represents the target binary role of a directory. It must be included by all makefiles that build programs. :'lib.mk': This file represents a library role. It is never used from within the 'src/' directory but only from the <libname>.mk files in 'lib/mk/'.