Ако на някой му потрябва
This web site presents PICOS18, an operating system based on OSEK/VDX, an open industry standard. The OSEK standard is well suited for the low computing, power, small memory embedded controllers used in automotive or robotique applications.
PICOS18 designed by Pragmatec Inc. is an operating system for the PICmicro microcontrollers from the Microchip PIC18 family. It is totaly free and is distributed under the GPL licence.
http://www.picos18.com/index_us.htm