3 makeoption ARM_LITTLE_ENDIAN
8 options PHYSADDR=0x40000000
10 makeoptions KERNPHYSADDR=0x40f00000
11 options KERNPHYSADDR=0x40f00000
13 makeoptions KERNVIRTADDR=0xc0f00000
14 options KERNVIRTADDR=0xc0f00000
18 options IPI_IRQ_START=0
19 options IPI_IRQ_END=15
21 files "../samsung/exynos/files.exynos5"