if TARGET_ARCANGEL4
config SYS_VENDOR
default "synopsys"
config SYS_CONFIG_NAME
default "arcangel4"
endif