#$FreeBSD: head/sys/arm/at91/std.hl200 261227 2014-01-28 09:12:04Z andrew $ include "../at91/std.at91" makeoptions KERNPHYSADDR=0x20100000 options KERNPHYSADDR=0x20100000 makeoptions KERNVIRTADDR=0xc0100000 options KERNVIRTADDR=0xc0100000 device at91_board_hl200