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