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
16 options STARTUP_PAGETABLE_ADDR=0x40100000
20 options IPI_IRQ_START=0
21 options IPI_IRQ_END=15
23 files "../samsung/exynos/files.exynos5"