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