A port of TNKernel for the PIC32