4 makeoptions ARM_LITTLE_ENDIAN
7 options KERNVIRTADDR = 0xc2000000
8 makeoptions KERNVIRTADDR = 0xc2000000
9 options KERNPHYSADDR = 0x12000000
10 makeoptions KERNPHYSADDR = 0x12000000
11 options PHYSADDR = 0x10000000
13 options IPI_IRQ_START=0
14 options IPI_IRQ_END=15
16 files "../freescale/imx/files.imx6"