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