menu "RK_HDMI" config RK_HDMI bool "RK_HDMI support" if RK_HDMI source "drivers/video/rockchip/hdmi/chips/Kconfig" endif endmenu