Kent McLeod 60ffdb1f0a trivial: Fix x86 KERNEL_TIMER_IRQ definition ... This was using the hardware irq number instead of the irq number seL4 uses. This change affects MCS preemption point handling.		2019-11-26 08:49:46 +11:00
..
default/plat	arm: remove plat/machine/timer.h	2019-06-17 10:44:36 +10:00
pc99/plat	trivial: Fix x86 KERNEL_TIMER_IRQ definition	2019-11-26 08:49:46 +11:00
spike/plat/instance/rocket-chip	RISCV: Add Hifive unleashed platform	2019-06-26 15:11:47 +10:00
tk1/plat/machine	tk1: use declare_default_headers	2019-04-12 14:25:58 +10:00