diff options
author | andrew <andrew@FreeBSD.org> | 2014-01-28 09:12:04 +0000 |
---|---|---|
committer | andrew <andrew@FreeBSD.org> | 2014-01-28 09:12:04 +0000 |
commit | ea49382feb2283285e824ed624107ace193a984a (patch) | |
tree | 710352cef019fdc2f3b56439be3258511cfdb30c /sys/arm/rockchip | |
parent | f1267848bf1bff85d055c6f5d67ccddd5c3783ae (diff) | |
download | FreeBSD-src-ea49382feb2283285e824ed624107ace193a984a.zip FreeBSD-src-ea49382feb2283285e824ed624107ace193a984a.tar.gz |
Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with
memory at the end of the kernel.
This helps reduce the SoC and board specific configuration required.
Reviewed by: bsdimp
Tested by: jmg (armeb), br
Diffstat (limited to 'sys/arm/rockchip')
-rw-r--r-- | sys/arm/rockchip/std.rk30xx | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sys/arm/rockchip/std.rk30xx b/sys/arm/rockchip/std.rk30xx index 7b714bb..79ddcc6 100644 --- a/sys/arm/rockchip/std.rk30xx +++ b/sys/arm/rockchip/std.rk30xx @@ -17,8 +17,6 @@ options KERNPHYSADDR=0x60400000 makeoptions KERNVIRTADDR=0xc0400000 options KERNVIRTADDR=0xc0400000 -options STARTUP_PAGETABLE_ADDR=0x60200000 - options ARM_L2_PIPT options IPI_IRQ_START=0 |