PLATFORM_CPPFLAGS += -march=armv4 -mtune=arm7tdmi
# =========================================================================
PLATFORM_CPPFLAGS += -march=armv4 -mtune=arm7tdmi
# =========================================================================