if ARCH_HIGHBANK
config SYS_CPU
default "armv7"
config SYS_BOARD
default "highbank"
config SYS_SOC
config SYS_CONFIG_NAME
endif