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.
14 lines
251 B
Plaintext
14 lines
251 B
Plaintext
# $FreeBSD$
|
|
|
|
cpu CPU_CORTEXA
|
|
machine arm armv6
|
|
makeoptions CONF_CFLAGS="-march=armv7a"
|
|
|
|
makeoptions KERNVIRTADDR=0xc0f00000
|
|
options KERNVIRTADDR=0xc0f00000
|
|
|
|
options IPI_IRQ_START=0
|
|
options IPI_IRQ_END=15
|
|
|
|
files "../altera/socfpga/files.socfpga"
|