if ROCKCHIP_RK3128 choice prompt "RK3128 board select" config TARGET_EVB_RK3128 bool "RK3128 evaluation board" select BOARD_LATE_INIT help RK3128evb is a evaluation board for Rockchip rk3128, with full function and phisical connectors support like usb2.0 host ports, LVDS, JTAG, MAC, SDcard, HDMI, USB-2-serial... endchoice config SYS_SOC default "rockchip" config SYS_MALLOC_F_LEN default 0x0800 source "board/rockchip/evb_rk3128/Kconfig" endif