7758916f44
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.
17 lines
331 B
Plaintext
17 lines
331 B
Plaintext
#
|
|
# std.zynq7 - Generic configuration for Xilinx Zynq-7000 PS.
|
|
#
|
|
# $FreeBSD$
|
|
|
|
cpu CPU_CORTEXA
|
|
machine arm armv6
|
|
makeoptions CONF_CFLAGS="-march=armv7a"
|
|
|
|
files "../xilinx/files.zynq7"
|
|
|
|
options KERNVIRTADDR=0xc0100000 # Used in ldscript.arm
|
|
makeoptions KERNVIRTADDR=0xc0100000
|
|
|
|
options IPI_IRQ_START=0
|
|
options IPI_IRQ_END=15
|