Warner Losh 094fc1ed0f 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.socfpga	Add FPGA manager driver for Intel Arria 10.	2017-03-03 14:19:37 +00:00
socfpga_a10_manager.c	Add FPGA manager driver for Intel Arria 10.	2017-03-03 14:19:37 +00:00
socfpga_common.c
socfpga_common.h
socfpga_gpio.c
socfpga_l3regs.h
socfpga_machdep.c	Add SOC_ALTERA_* kernel options per each SoC and use it to	2017-02-28 16:20:33 +00:00
socfpga_manager.c	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
socfpga_mp.c	Add SOC_ALTERA_* kernel options per each SoC and use it to	2017-02-28 16:20:33 +00:00
socfpga_mp.h	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
socfpga_rstmgr.c	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
socfpga_rstmgr.h	Add support for Intel Arria 10 SoC Development Kit.	2017-02-28 14:02:16 +00:00
std.socfpga	Tag all armv7 kernels as such in their machine config line.	2017-10-05 23:01:50 +00:00