Integrity - http://www.ghs.com/products/rtos/integrity.html
Secure, no royalty, for high reliability embedded systems; hardware memory protection to isolate and protect it and user tasks from incorrect operation by errors or tampering; object-oriented design allows verifying data security/integrity, communications, individual components, whole system; strict adherence to provable resource requirements. Green Hills Software, Inc. |
Integrity (Operating System) - http://en.wikipedia.org/wiki/Integrity_(operating_system)
Growing article, with links to many related topics. Wikipedia. |
KROS - http://www.shugyodesign.com/
Small (12-64k), standards-based, low cost, no royalty, realtime OS; POSIX, ITRON/uITRON programming interfaces, GNU compiler support, source code provided; supports CPUs: Altera Nios, ARM, Hitachi SuperH. Free downloads: demos, documentation, updates. KROS Technologies, Inc. Commercial. |
MaRTE OS - http://marte.unican.es/
Realtime kernel for embedded uses, follows Minimal Real-Time POSIX.13 subset. Most code is Ada, but some C, assembly. Hardware access via Abstract Hardware Interface (HAL). Runs in cross development environment: PC Linux Host, bare 386 PC Target, Ethernet LAN link. [Open Source, GPL] |
REAL/IX PX - http://www.modcomp.com/realtime/products/descriptions/8272.html
A POSIX real-time operating system for x86/Pentium based systems. By Modcomp, Inc. |