1# $FreeBSD$
2include "../at91/std.at91sam9"
3
4options STARTUP_PAGETABLE_ADDR=0x20800000
5makeoptions KERNPHYSADDR=0x20000000
6makeoptions KERNVIRTADDR=0xc0000000
7options KERNPHYSADDR=0x20000000
8options KERNVIRTADDR=0xc0000000
9
10device at91_board_sam9260ek
11device at91sam9260
12