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