#$FreeBSD: src/sys/arm/at91/std.tsc4370,v 1.1.2.1.4.1 2010/06/14 02:09:06 kensmith Exp $
include "../at91/std.at91"

options		STARTUP_PAGETABLE_ADDR=0x20800000
makeoptions	KERNPHYSADDR=0x20000000
makeoptions	KERNVIRTADDR=0xc0000000
options		KERNPHYSADDR=0x20000000	
options		KERNVIRTADDR=0xc0000000

device		at91_board_tsc4370