One other RTOS for the pic is http://www.ucos-ii.com/
It comes with full source code for the OS and a port for the PIC18F852. I agree with Joe that it would be quite an effort to get it working with the IFI code.
__________________
Jeremy Roberts
GeorgiaFIRST Planning Committee | Peachtree Regional
Georgia Tech RoboJackets FIRST Co-Founder
Engineer/Mentor 4026
Former teams: 132, 608, 832, 1002, 1848
|