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 |
||
---|---|---|
.. | ||
files.socfpga | ||
socfpga_a10_manager.c | ||
socfpga_common.c | ||
socfpga_common.h | ||
socfpga_gpio.c | ||
socfpga_l3regs.h | ||
socfpga_machdep.c | ||
socfpga_manager.c | ||
socfpga_mp.c | ||
socfpga_mp.h | ||
socfpga_rstmgr.c | ||
socfpga_rstmgr.h | ||
std.socfpga |