I have updated and refined my rtos/multitasking kernel for the Pic 16-bit family micros.
It is very basic, but small and fast. It should provide enough functionality for a lot of programs.
It is now posted on Microchip Embedded source code pages here: