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