2 include "../s3c2xx0/std.s3c2410"
4 makeoptions KERNPHYSADDR=0x30000000
5 makeoptions KERNVIRTADDR=0xc0000000
6 options KERNPHYSADDR=0x30000000
7 options KERNVIRTADDR=0xc0000000
8 options PHYSADDR=0x30000000
9 options STARTUP_PAGETABLE_ADDR=0x30800000
10 options NO_EVENTTIMERS