2 # (C) Copyright 2006-2009
3 # Texas Instruments, <www.ti.com>
5 # SDP4430 board uses ARM-CortexA9 cpu
6 # see http://www.ti.com/ for more information on Texas Instruments
11 # Linux-Kernel is expected to be at 8000'8000, entry 8000'8000
12 # (mem base + reserved)
14 # For use with external or internal boots.
15 TEXT_BASE = 0x40304350
18 # Handy to get symbols to debug ROM version.
20 #TEXT_BASE = 0x08000000
21 #TEXT_BASE = 0x04000000