Dear all,
i like to direct your attention to the open source project Mkernel.
formatting link
The project provides yet another simple kernel for the pic18f45xx micro controler family using the SDCC compiler. The kernel is inspired by the OSEK/VDX API's and supports currently: Tasks Resources Events OIL
I am using this environment for my own projects, but frankly speaking, i am looking for some people to test it.
Regards M.Erdmann