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