Buildroot repository for PIC32 Linux BSP - View it on GitHub