genode/repos/base-foc/lib/mk/x86_32/platform.mk

#
# Configuration for L4 build system (for kernel-bindings, sigma0, bootstrap).
#
L4_CONFIG = $(call select_from_repositories,config/x86_32.user)

#
# Create mirror for architecture-specific L4sys header files
#
L4_INC_TARGETS = x86/l4/sys \
                 x86/l4f/l4/sys \
                 x86/l4/vcpu

include $(REP_DIR)/lib/mk/platform.inc
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`#`
			`# Configuration for L4 build system (for kernel-bindings, sigma0, bootstrap).`
			`#`
Fiasco.OC: enable i.MX53 platform 2012-10-17 07:34:23 +00:00			`L4_CONFIG = $(call select_from_repositories,config/x86_32.user)`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00
			`#`
			`# Create mirror for architecture-specific L4sys header files`
			`#`
			`L4_INC_TARGETS = x86/l4/sys \`
			`x86/l4f/l4/sys \`
			`x86/l4/vcpu`

			`include $(REP_DIR)/lib/mk/platform.inc`