1if TARGET_PINEBOOK_PRO_RK3399
2
3config SYS_BOARD
4	default "pinebook-pro-rk3399"
5
6config SYS_VENDOR
7	default "pine64"
8
9config SYS_CONFIG_NAME
10	default "pinebook-pro-rk3399"
11
12config BOARD_SPECIFIC_OPTIONS
13	def_bool y
14
15endif
16