1# $FreeBSD$ 2machine arm armv6 3cpu CPU_CORTEXA 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 13device imx6_snvs 14 15files "../freescale/imx/files.imx6" 16 17