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