seL4/include/model
Hesham Almatary ee28936d48 SMP: Introduce ENABLE_SMP_SUPPORT
- Make it more readable and less confusing compared to the 'CONFIG_MAX_NUM_NODES > 1' check
2017-06-29 16:23:39 +10:00
..
preemption.h Release snapshot 2014-07-18 05:03:59 +10:00
smp.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
statedata.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00