TEXT_BASE = 0xa0000000

# PLATFORM_CPPFLAGS += -DDEBUG