2 include "../at91/std.at91sam9g45"
4 options STARTUP_PAGETABLE_ADDR=0x70800000
5 makeoptions KERNPHYSADDR=0x70008000
6 options KERNPHYSADDR=0x70008000
7 makeoptions KERNVIRTADDR=0xc0008000
8 options KERNVIRTADDR=0xc0008000
11 device at91_board_sn9g45