if TARGET_PINEBOOK_PRO_RK3399

config SYS_BOARD
	default "pinebook-pro-rk3399"

config SYS_VENDOR
	default "pine64"

config SYS_CONFIG_NAME
	default "pinebook-pro-rk3399"

endif
