portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/src/model
History
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
..
preemption.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
smp.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
statedata.c Make kernel log buffer derived from cmake config 2020-11-10 16:24:43 +11:00