Running RTOS on the PIC 32