#$FreeBSD$
include "../at91/std.at91"

options		STARTUP_PAGETABLE_ADDR=0x20000000
makeoptions	KERNPHYSADDR=0x20100000
options		KERNPHYSADDR=0x20100000	
makeoptions	KERNVIRTADDR=0xc0100000
options		KERNVIRTADDR=0xc0100000

device		at91_board_hl200