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.
15 lines
276 B
Plaintext
15 lines
276 B
Plaintext
# Rockchip rk30xx common options
|
|
#$FreeBSD$
|
|
|
|
cpu CPU_CORTEXA
|
|
machine arm armv6
|
|
makeoptions CONF_CFLAGS="-march=armv7a"
|
|
|
|
makeoptions KERNVIRTADDR=0xc0400000
|
|
options KERNVIRTADDR=0xc0400000
|
|
|
|
options IPI_IRQ_START=0
|
|
options IPI_IRQ_END=15
|
|
|
|
files "../rockchip/files.rk30xx"
|