1#$FreeBSD: head/sys/arm/xscale/ixp425/std.avila 186352 2008-12-20 03:26:09Z sam $
2
3#
4# Gateworks GW23XX board configuration
5#
6files "../xscale/ixp425/files.avila"
7#
8# Physical memory starts at 0. We assume images are loaded at
9# 0x200000, e.g. from redboot with load -b 0x200000 kernel.
10#
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.
14#
15options PHYSADDR=0x00000000
16options KERNPHYSADDR=0x00200000
17makeoptions KERNPHYSADDR=0x00200000
18options KERNVIRTADDR=0xc0200000 # Used in ldscript.arm
19makeoptions KERNVIRTADDR=0xc0200000
20options FLASHADDR=0x50000000
21options LOADERRAMADDR=0x00000000
22options STARTUP_PAGETABLE_ADDR=0x00000000