imp 36cef61704 Tag all armv7 kernels as such in their machine config line. ... Transition all boards that support arm cortex CPUs to armv7. This leaves two armv6 kernels in the tree. RPI-B, which uses the BCM2835 which has a ARM1176 core, and VERSATILEPB, which is a qemu board setup around the time RPI-B went in. Copy std.armv6 to std.armv7, even though that duplicates a lot of stuff. More work needs to be done to sort out the duplication. Differential Revision: https://reviews.freebsd.org/D12027		2017-10-05 23:01:50 +00:00
..
files.qemu
std.virt
virt_machdep.c
virt_mp.c
virt_mp.h