4 # Gateworks GW23XX board configuration
6 files "../xscale/ixp425/files.avila"
8 # Physical memory starts at 0. We assume images are loaded at
9 # 0x200000, e.g. from redboot with load -b 0x200000 kernel.
11 # Redboot is expected to handle unmapping the flash memory that
12 # appears at 0 on boot. Likewise we expect the expansion bus to
13 # be remapped away from 0.
15 options PHYSADDR=0x00000000
16 options KERNPHYSADDR=0x00200000
17 makeoptions KERNPHYSADDR=0x00200000
18 options KERNVIRTADDR=0xc0200000 # Used in ldscript.arm
19 makeoptions KERNVIRTADDR=0xc0200000
20 options FLASHADDR=0x50000000
21 options LOADERRAMADDR=0x00000000
22 options STARTUP_PAGETABLE_ADDR=0x00000000