History log of /seL4-l4v-10.1.1/seL4/src/arch/x86/64/smp/ipi.c
Revision Date Author Comments
# ee28936d 18-Jun-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

SMP: Introduce ENABLE_SMP_SUPPORT

- Make it more readable and less confusing compared to the 'CONFIG_MAX_NUM_NODES > 1' check
# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)
# 6f52cd3d 16-Mar-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

SMP/x86: convention - put all ipi.* files under smp/ directory

This follows the convention of other higher-level ipi.* smp.* files
put under smp/. Also upcoming ARM files.