#
# image should be loaded at 0x41008000
#

TEXT_BASE = 0x41008000