genode/base-foc/src/kernel/x86_64/target.mk

REQUIRES      = x86 64bit
KERNEL_CONFIG = $(REP_DIR)/config/x86_64.kernel

-include $(PRG_DIR)/../target.inc
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00			`REQUIRES = x86 64bit`
Fiasco.OC: always use fixed priority scheduler The alternative weighted scheduler might lead to some threads don't make any progress anymore (take for example the signal test). So we have to use the fixed priority scheduler also in the kernel configuration for 64 Bit. 2012-09-19 12:28:20 +02:00			`KERNEL_CONFIG = $(REP_DIR)/config/x86_64.kernel`
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
			`-include $(PRG_DIR)/../target.inc`