if TARGET_AXS10X
config SYS_BOARD
default "axs10x"
config SYS_VENDOR
default "synopsys"
config SYS_CONFIG_NAME
endif