Reply - Multitasking Real-Time Kernel
I saw your posting in comp.arch.embedded asking about your interest in
finding an O/S that you could use educationally to change the policies
of the scheduler.
General Software makes a DOS that has a multitasking microkernel inside.
It implements threads, timers, mutexes, events, and higher level objects.
Full source code is provided for the entire system and you can develop
application programs with standard DOS tools (Borland or Microsoft C++
for example). The company sells most of its products to manufacturers
of commodity embedded systems (used in cars, phones, faxes, copiers, etc.)
Product Development Group
General Software, Inc.