1# $FreeBSD$
2machine arm armv6
3cpu CPU_CORTEXA
4makeoptions CONF_CFLAGS="-march=armv7a"
5options ARM_L2_PIPT
6
7options KERNVIRTADDR = 0xc1000000
8makeoptions KERNVIRTADDR = 0xc1000000
9
10options IPI_IRQ_START=0
11options IPI_IRQ_END=15
12
13files "../qemu/files.qemu"
14
15