seL4/include/model
amrzar fbc071b4f1 SELFOUR-630:preliminary booting application processors
- update core detection code and Kconfig file
- update kernel stack managment so that BSP does not use boot stack before IPI APs
- move arch dependant data to a single structure
- add cache line size to Kconfig
- add cpu indexing and apic id mapping
- boot APs to halting state
- add guard for kernel stack if there is only one core
2016-09-21 12:14:10 +10:00
..
preemption.h Release snapshot 2014-07-18 05:03:59 +10:00
smp.h SELFOUR-630:preliminary booting application processors 2016-09-21 12:14:10 +10:00
statedata.h SELFOUR-630:preliminary booting application processors 2016-09-21 12:14:10 +10:00