Sylvain Gauthier 84e6d4cdb1 Added IRQ routing to specific core for ARM ... Add a new syscall, `seL4_IRQControl_GetTriggerCore`, to get a IRQHandler with specific target core(s) and trigger method. Only available in SMP mode.		2019-05-20 10:01:40 +10:00
..
interfaces	Added IRQ routing to specific core for ARM	2019-05-20 10:01:40 +10:00
sel4/arch	style: set code width to 120	2019-03-19 14:05:44 +11:00