seL4/include/kernel
Curtis Millar a00c2c16cf
Make kernel log buffer derived from cmake config
This removes the explicit CMake configuration for the kernel log buffer
and replaces it with a #define that is enabled for the required
configurations.

Signed-off-by: Curtis Millar <curtis@curtism.me>
2020-11-10 16:24:43 +11:00
..
boot.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
cspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
faulthandler.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
sporadic.h mcs: return pointer from refill_head and others 2020-09-03 18:56:49 +10:00
stack.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
thread.h mcs: update commitTime 2020-09-08 19:49:38 +10:00
traps.h KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
vspace.h Make kernel log buffer derived from cmake config 2020-11-10 16:24:43 +11:00