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
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