2 include "../at91/std.at91"
4 options STARTUP_PAGETABLE_ADDR=0x20000000
5 makeoptions KERNPHYSADDR=0x20100000
6 options KERNPHYSADDR=0x20100000
7 makeoptions KERNVIRTADDR=0xc0100000
8 options KERNVIRTADDR=0xc0100000
9 options AT91C_MASTER_CLOCK=45000000
11 device at91_board_hl200