freebsd-skq/sys/arm/rockchip/std.rk30xx
andrew ea49382feb 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
2014-01-28 09:12:04 +00:00

26 lines
477 B
Plaintext

# Rockchip rk30xx common options
#$FreeBSD$
cpu CPU_CORTEXA
machine arm armv6
makeoption ARM_LITTLE_ENDIAN
# Physical memory starts at 0x60400000. We assume images are loaded at
# 0x60400000.
#
#
options PHYSADDR=0x60000000
makeoptions KERNPHYSADDR=0x60400000
options KERNPHYSADDR=0x60400000
makeoptions KERNVIRTADDR=0xc0400000
options KERNVIRTADDR=0xc0400000
options ARM_L2_PIPT
options IPI_IRQ_START=0
options IPI_IRQ_END=15
files "../rockchip/files.rk30xx"