if TARGET_FENNEC_RK3288 config SYS_BOARD default "fennec_rk3288" config SYS_VENDOR default "rockchip" config SYS_CONFIG_NAME default "fennec_rk3288" config BOARD_SPECIFIC_OPTIONS # dummy def_bool y endif