1# $FreeBSD$
2machine arm armv6
3cpu CPU_CORTEXA_MP
4makeoptions CONF_CFLAGS="-march=armv7a"
5
6options KERNVIRTADDR = 0xc2000000
7makeoptions KERNVIRTADDR = 0xc2000000
8
9options IPI_IRQ_START=0
10options IPI_IRQ_END=15
11
12device fdt_pinctrl
13
14files "../freescale/imx/files.imx6"
15
16