Ian Lepore 2d09b07279 Make kernel option KERNVIRTADDR optional, remove it from std.<platform> ... files that can use the default value. It used to be required that the low-order bits of KERNVIRTADDR matched the low-order bits of the physical load address for all arm platforms. That hasn't been a requirement for armv6 platforms since FreeBSD 10. There is no longer any relationship between load addr and KERNVIRTADDR except that both must be aligned to a 2 MiB boundary. This change makes the default KERNVIRTADDR value 0xc0000000, and removes the options from all the platforms that can use the default value. The default is now defined in vmparam.h, and that file is now included in a few new places that reference KERNVIRTADDR, since it may not come in via the forced-include of opt_global.h on the compile command line.		2017-12-30 00:20:49 +00:00
..
files.socfpga	Revert r327250 as it broke the build for some armv6 kernel and all armv4/5	2017-12-28 07:31:14 +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	Add support for PLATFORM and PLATFORM_SMP to the Altera SOCFPGA SoC. This	2017-02-07 12:04:04 +00:00
socfpga_common.h	o Remove __unused attribute on variables which actually used	2014-09-06 18:08:21 +00:00
socfpga_gpio.c	Stop including fdt_common.h from the arm code when it's unneeded.	2016-11-14 11:41:22 +00:00
socfpga_l3regs.h	Add Reset Manager driver. This driver provides generic way to reset	2014-09-11 18:12:28 +00:00
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	Make kernel option KERNVIRTADDR optional, remove it from std.<platform>	2017-12-30 00:20:49 +00:00