Ian Lepore 302a9d3633 Include "opt_platform.h" early so that the FDT option is visible as needed.		2015-10-18 20:32:37 +00:00
..
files.qemu	Enable SMP on the qemu virt platform. We use the device tree to find which	2015-05-24 12:33:12 +00:00
std.virt
virt_common.c	Include "opt_platform.h" early so that the FDT option is visible as needed.	2015-10-18 20:32:37 +00:00
virt_machdep.c
virt_mp.c	Rename arm_init_secondary_ic() -> arm_pic_init_secondary(). The latter is	2015-10-18 16:54:34 +00:00