#$FreeBSD: release/9.1.0/sys/arm/at91/std.bwct 185539 2008-12-02 02:26:15Z peter $ include "../at91/std.at91" options STARTUP_PAGETABLE_ADDR=0x20800000 makeoptions KERNPHYSADDR=0x20000000 options KERNPHYSADDR=0x20000000 makeoptions KERNVIRTADDR=0xc0000000 options KERNVIRTADDR=0xc0000000 device at91_board_bwct