Emmanuel Vadot dbfb4063ae arm: Add kern_clocksource.c directly in files.arm ... This files is needed and included in all our config so move it to a common location. MFC after: 2 weeks		2019-04-16 20:04:22 +00:00
..
files.qemu	arm: Add kern_clocksource.c directly in files.arm	2019-04-16 20:04:22 +00:00
std.virt	Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.	2018-07-28 06:46:10 +00:00
virt_machdep.c	Make the default FDT implementation of platform_mp_setmaxid use the cpu	2017-03-17 12:45:53 +00:00
virt_mp.c	Make the default FDT implementation of platform_mp_setmaxid use the cpu	2017-03-17 12:45:53 +00:00
virt_mp.h	Add SMP support to the ARM PLATFORM code. This will allow us to have	2016-02-28 13:43:58 +00:00