1if TARGET_TINKER_RK3288 2 3config SYS_BOARD 4 default "tinker_rk3288" 5 6config SYS_VENDOR 7 default "rockchip" 8 9config SYS_CONFIG_NAME 10 default "tinker_rk3288" 11 12config BOARD_SPECIFIC_OPTIONS # dummy 13 def_bool y 14 15endif 16