seL4/libsel4
Adrian Danis 5d42d0143e x86: Do not conditionally compile IRQ controller code, use build/run time checks
Guarding code with #ifdef's makes even cursor testing of 'does this code compile'
difficult due to code being hidden by the pre-processor. Using config_set in
regular C if statements is performant as the compiler can trivially detect
dead code at compile time, and at -O1 and above will not even link in symbols
referenced by dead code in these blocks, so this will not bloat image size
2015-12-17 14:37:08 +11:00
..
arch_include x86: Do not conditionally compile IRQ controller code, use build/run time checks 2015-12-17 14:37:08 +11:00
include libsel4: Add standard way of interpreting the meaning of a 'FailedLookup' for mapping operations 2015-12-16 12:29:25 +11:00
src Streamline libsel4 and remove its libc dependencies. 2015-07-09 18:03:46 -07:00
tools libsel4: Generate non inlined syscall invocations 2015-12-09 15:41:25 +11:00
Kbuild Streamline libsel4 and remove its libc dependencies. 2015-07-09 18:03:46 -07:00
Kconfig libsel4: Always usage IPC buffer for invocations (SELFOUR-381) 2015-12-16 12:27:32 +11:00
Makefile libsel4: Always usage IPC buffer for invocations (SELFOUR-381) 2015-12-16 12:27:32 +11:00