#
# image should be loaded at 0x00c00000
#
TEXT_BASE = 0x00c10000