seL4/include/arch
Sylvain Gauthier 1deb1d2696 [SMP] New IPI call to unmask remote IRQ
Added a new IPI on ARM to unmask a remote private interrupt.
2019-07-19 16:37:03 +10:00
..
arm [SMP] New IPI call to unmask remote IRQ 2019-07-19 16:37:03 +10:00
riscv/arch Add syscall for setting the current TLS register. 2019-07-01 11:17:49 +10:00
x86/arch Add syscall for setting the current TLS register. 2019-07-01 11:17:49 +10:00