Kent McLeod 1d2a588bbf libsel4,config.h: Remove misleading #defines ... autoconf.h is expected to contain all defined config options for an seL4 build configuration. Having these redefinitions were leftover from when the verification build system didn't produce an autoconf.h file and set the config separately. Its more likely that these defaults would incorrectly hide an include path misconfiguration and produce settings that are inconsistent with the kernel's configuration. Signed-off-by: Kent McLeod <kent@kry10.com>		2021-09-06 08:08:54 +10:00
..
api	Add 2 new benchmark utilization syscalls	2020-07-15 15:15:27 +10:00
interfaces	mcs: Add sporadic flag to SchedControl_Configure	2021-04-14 15:24:40 +10:00
sel4	libsel4,config.h: Remove misleading #defines	2021-09-06 08:08:54 +10:00