#$FreeBSD$ include "../at91/std.at91sam9g45" makeoptions KERNPHYSADDR=0x70008000 options KERNPHYSADDR=0x70008000 makeoptions KERNVIRTADDR=0xc0008000 options KERNVIRTADDR=0xc0008000 device at91sam9g45 device at91_board_sn9g45