if TARGET_KAREF
config SYS_BOARD
default "karef"
config SYS_VENDOR
default "sandburst"
config SYS_CONFIG_NAME
default "KAREF"
endif