freebsd-dev/sys/arm/xilinx
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.zynq7 Revert r327250 as it broke the build for some armv6 kernel and all armv4/5 2017-12-28 07:31:14 +00:00
std.zynq7 Make kernel option KERNVIRTADDR optional, remove it from std.<platform> 2017-12-30 00:20:49 +00:00
uart_dev_cdnc.c sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_devcfg.c sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_ehci.c sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_gpio.c sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_l2cache.c sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_machdep.c sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_machdep.h Add external PLATFORM access on arm, and use it in the pl310 driver. 2017-07-11 16:30:16 +00:00
zy7_mp.c Start to move the arm *_mp.h to be names *_machdep.h. These will be used 2017-07-10 15:27:53 +00:00
zy7_reg.h sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_slcr.c sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00
zy7_slcr.h sys/arm: further adoption of SPDX licensing ID tags. 2017-11-27 15:04:10 +00:00