#$FreeBSD: head/sys/arm/at91/std.kb920x 185305 2008-11-25 18:40:40Z imp $ include "../at91/std.at91" options STARTUP_PAGETABLE_ADDR=0x20800000 makeoptions KERNPHYSADDR=0x20000000 makeoptions KERNVIRTADDR=0xc0000000 options KERNPHYSADDR=0x20000000 options KERNVIRTADDR=0xc0000000 device at91_board_kb920x