#$FreeBSD: head/sys/arm/at91/std.sam9x25ek 292591 2015-12-22 09:08:21Z andrew $
include "../at91/std.at91sam9"

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

device		at91_board_sam9x25ek
device		at91sam9x5