andrew d66dd8620c Add SMP support to the ARM PLATFORM code. This will allow us to have ... different methods to start the secondary cores in a kernel built for multiple SoCs, e.g. with the Allwinner A20 and A31. Sponsored by: ABT systems Ltd Differential Revision: https://reviews.freebsd.org/D5466		2016-02-28 13:43:58 +00:00
..
files.qemu	Build ofw_cpu.c on all ARM configs using FDT. As we mve towards using the	2016-02-28 09:35:37 +00:00
std.virt	Move ARM_L2_PIPT option to std.armv6 for all armv6 platforms.	2016-02-22 11:47:28 +00:00
virt_common.c	Fix a logic inversion when checking for ARM_INTRNG	2016-02-10 16:44:20 +00:00
virt_machdep.c	Add SMP support to the ARM PLATFORM code. This will allow us to have	2016-02-28 13:43:58 +00:00
virt_mp.c	Add SMP support to the ARM PLATFORM code. This will allow us to have	2016-02-28 13:43:58 +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