1menu "RT-Thread rockchip RK3500 drivers" 2 3source "$BSP_DIR/driver/clk/Kconfig" 4source "$BSP_DIR/driver/uart8250/Kconfig" 5source "$BSP_DIR/driver/hwtimer/Kconfig" 6endmenu 7