#$FreeBSD$
include "../s3c2xx0/std.s3c2410"

makeoptions	KERNPHYSADDR=0x30000000
makeoptions	KERNVIRTADDR=0xc0000000
options		KERNPHYSADDR=0x30000000	
options		KERNVIRTADDR=0xc0000000
options		PHYSADDR=0x30000000
options		STARTUP_PAGETABLE_ADDR=0x30800000
options		NO_EVENTTIMERS