if TARGET_EDB93XX
config SYS_BOARD
default "edb93xx"
config SYS_VENDOR
default "cirrus"
config SYS_SOC
default "ep93xx"
config SYS_CONFIG_NAME
endif