4 # Standard ARM support.
6 kern/kern_clocksource.c standard
9 # Standard qemu virt devices and support.
11 arm/arm/generic_timer.c standard
12 arm/qemu/virt_common.c standard
13 arm/qemu/virt_machdep.c standard
14 arm/qemu/virt_mp.c optional smp
16 dev/ofw/ofw_cpu.c standard