1#$FreeBSD$ 2include "../at91/std.at91" 3 4makeoptions KERNPHYSADDR=0x20100000 5options KERNPHYSADDR=0x20100000 6makeoptions KERNVIRTADDR=0xc0100000 7options KERNVIRTADDR=0xc0100000 8 9device at91_board_hl200 10