if TARGET_PINEBOOK_PRO_RK3399
config SYS_BOARD
default "pinebook-pro-rk3399"
config SYS_VENDOR
default "pine64"
config SYS_CONFIG_NAME
config BOARD_SPECIFIC_OPTIONS
def_bool y
endif