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