1 2 3 4 5 6 7
menu "Microchip PIC32 platforms" depends on MACH_PIC32 config SYS_SOC default "none" endmenu