source "src/cpu/ti/am335x/Kconfig"