seL4/include/smp
Hesham Almatary 53c6b52438 SMP: Abstract architecture/platform independent parts of smp.h and ipi.h
This commit is a re-arrangement of SMP directory structure to make it
easier for other architectures/platforms (in general) and ARM (in
particular) to add SMP support.

* new include/smp directory to act as a centralised container of
"shared" architecture-independent SMP headers.
This makes it clearer what's needed for other architecture/platform to
support SMP.
* Each platform can define its own unique ipi.[h|c] that make sense,
since ipi implementation is SoC/platform dependent.
2017-01-13 15:35:41 +11:00
..
ipi.h SMP: Abstract architecture/platform independent parts of smp.h and ipi.h 2017-01-13 15:35:41 +11:00
smp.h SMP: Abstract architecture/platform independent parts of smp.h and ipi.h 2017-01-13 15:35:41 +11:00