1 #$FreeBSD$
2 include "../at91/std.at91"
3
4 options STARTUP_PAGETABLE_ADDR=0x20800000
5 makeoptions KERNPHYSADDR=0x20000000
6 makeoptions KERNVIRTADDR=0xc0000000
7 options KERNPHYSADDR=0x20000000
8 options KERNVIRTADDR=0xc0000000
9
10 device at91_board_tsc4370
Cache object: ed7193e8d3494df31d5713d5c55fcab4
|