Second stage bootloader for PIC32 Linux BSP - View it on GitHub