6a7ac9da7c
Only L2 PIPT cache is supported for __ARM_ARCH >= 6. In fact, this is just a pure proclamation as this option is used only in armv4 specific files now.
29 lines
743 B
Plaintext
29 lines
743 B
Plaintext
# $FreeBSD$
|
|
|
|
cpu CPU_CORTEXA
|
|
machine arm armv6
|
|
makeoptions CONF_CFLAGS="-march=armv7a"
|
|
|
|
# Physical memory starts at 0x80000000. We assume the kernel is loaded
|
|
# at 0x80100000 by u-boot (which doesn't support ubldr since it's missing
|
|
# CONFIG_API). The kernel must be supplied as a binary since u-boot is
|
|
# also missing CONFIG_CMD_ELF.
|
|
#
|
|
#
|
|
options KERNVIRTADDR=0xc0100000 # Used in ldscript.arm
|
|
makeoptions KERNVIRTADDR=0xc0100000
|
|
|
|
device fdt_pinctrl
|
|
|
|
files "../amlogic/aml8726/files.aml8726"
|
|
|
|
# Set all global interrupts to be edge triggered, active high.
|
|
options GIC_DEFAULT_ICFGR_INIT=0xffffffff
|
|
|
|
options IPI_IRQ_START=0
|
|
options IPI_IRQ_END=15
|
|
|
|
#options EARLY_PRINTF
|
|
#options SOCDEV_PA=0xc8100000
|
|
#options SOCDEV_VA=0xd8100000
|