CONFIG_ARM=y
CONFIG_TARGET_ARMADILLO_800EVA=y
