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
330 B
Plaintext
17 lines
330 B
Plaintext
# $FreeBSD$
|
|
|
|
cpu CPU_CORTEXA
|
|
machine arm armv6
|
|
makeoptions CONF_CFLAGS="-march=armv7a -DAL_HAVE_TYPES"
|
|
|
|
makeoptions KERNVIRTADDR=0xa0200000
|
|
options KERNVIRTADDR=0xa0200000
|
|
|
|
makeoptions KERNBASE=0xa0000000
|
|
options KERNBASE=0xa0000000
|
|
|
|
options IPI_IRQ_START=0
|
|
options IPI_IRQ_END=15
|
|
|
|
files "../annapurna/alpine/files.alpine"
|