source "drivers/video/ti81xx/vpss/Kconfig"
source "drivers/video/ti81xx/ti81xxfb/Kconfig"
