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