6 files "../lpc/files.lpc"
9 makeoptions CONF_CFLAGS="-march=armv5te"
10 options PHYSADDR=0x80000000
11 options STARTUP_PAGETABLE_ADDR=0x80000000
12 makeoptions KERNPHYSADDR=0x80100000
13 options KERNPHYSADDR=0x80100000
14 makeoptions KERNVIRTADDR=0xc0100000
15 options KERNVIRTADDR=0xc0100000