seL4/include
Adrian Danis 4e3839e315 Move standalone autoconf.h files out of include directories
When performing non standalone builds a separate autoconf.h file is generated and defines
the configuration of the kernel. Currently the directory with that file as well as the
kernels include/plat/${PLAT} directory are both listed as include directories to the
compiler. Due to the directory with the generated autoconf.h being earlier in the -I
list the generated autoconf.h will be used in preference to the standalone autoconf.h.

Relying on the order of -I directives is too unstable and so this commit moves the
autoconf.h files to a dedicated configs directory, which is only added as a -I
directive if a standalone build is being performed.
2017-04-10 11:16:57 +10:00
..
32/mode SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
64/mode SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
api Add debug_printUserState 2017-04-05 16:54:50 +10:00
arch arm hyp: make invokeVCPUInjectIRQ index arg unsigned long 2017-04-06 13:45:43 +10:00
benchmark s/DEBUG/CONFIG_DEBUG_BUILD/ 2017-04-06 10:43:24 +10:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel refactor: initialise common core state in one place 2017-03-16 11:15:04 +11:00
machine SELFOUR-836: Hardware debug API functions should take tcb_t and not arch_tcb_t 2017-04-03 14:14:00 +10:00
model Move arch independent functions to generic files and HAVE_FPU config 2017-02-27 12:52:18 +11:00
object s/D61/DATA61/ in license headers for consistency 2017-02-21 16:38:51 +11:00
plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
smp smp: fix bugs when stalling remote core 2017-03-30 09:46:43 +11:00
api.h
assert.h s/DEBUG/CONFIG_DEBUG_BUILD/ 2017-04-06 10:43:24 +10:00
basic_types.h
bootinfo.h
compound_types.h
config.h SELFOUR-444: Preemptible zeroing for retype. 2016-11-01 17:05:36 +11:00
machine.h SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
Makefile SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
object.h
stdarg.h
stdint.h
string.h
types.h
util.h Provide spec for CTZL 2017-02-22 17:22:17 +11:00