Anna Lyons acfc3c5257 mcs: tickless driver for x86 ... Add a tickless timer driver for x86. The driver defaults to using TSC_DEADLINE mode, but falls back to the apic if that feature is not available.		2019-08-22 11:22:34 +10:00
..
default/plat	arm: remove plat/machine/timer.h	2019-06-17 10:44:36 +10:00
pc99/plat	mcs: tickless driver for x86	2019-08-22 11:22:34 +10: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