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