if TARGET_KUP4K

config SYS_BOARD
	default "kup4k"

config SYS_VENDOR
	default "kup"

config SYS_CONFIG_NAME
	default "KUP4K"

endif
