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

options		STARTUP_PAGETABLE_ADDR=0x70800000
makeoptions	KERNPHYSADDR=0x70008000
options		KERNPHYSADDR=0x70008000	
makeoptions	KERNVIRTADDR=0xc0008000
options		KERNVIRTADDR=0xc0008000

device		at91sam9g45
device		at91_board_sn9g45