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 |