Pok operating system
Active ARM, IA-32, x86-64 demo.tudos.org /eng _about.html Unison rtos Mixed, open source and tactique roulette casino commercial open source MCU, DSC, DSP SoC, fpga active Pic32, ARM Cortex (TI Stellaris Tiva Sitara, ST STM32, NXP LPC1X00, Freescale iMX6 Kinetis, Renesas RZ, RX600, SH2A, SH2afpu, R32C, mips4K, sharc, ColdFire.
Historic PDP-11 n/a RT-11 Proprietary?
Www.ti.com /tool /dspbios DSPnano rtos Mixed, open source and commercial open source MCU, DSC, DSP SoC active R8C, M16C, PIC24, dsPIC33 www.rowebots.com /products /dspnano DuinOS Modified GNU GPL open source general purpose active AVR (Arduino) code.google.com /p /duinos eChronos agplv3 open source embedded active ARM.Actually, more than 90 of the kernel code is covered without any effort.IMA separates functions of collecting information (sensors action (actuators and avionics logic implemented by applied avionics software in on-board computers.Embedded, industrial active leon2-3-4, x86 www.fentiss.com, www.xtratum.org Phar Lap ETS??????The kernel was designed to be very small and amenable to verification/certification.Embedded, robots defunct ARM9 www.robotu.com /artos /Welcome.html Atomthreads BSD open source embedded active AVR, STM8, ARM, mips atomthreads.com avix Proprietary closed embedded active Atmel AT91SAM3(U/S EFM32, NXP LPC, ST Micro STM32, Texas Instruments LM3S, Toshiba tmpm330, Microchip www.avix-rt.com Bertos modified GNU GPL open source embedded.Important security information (september 2018 on September 12 2018, we have been made aware of a vulnerability in POK by Stephane Duverger from Airbus Group cert.The kernel was designed to be very small and targets full verification/certification: more than 90 of the kernel code if covered.Defunct TI -980A minicomputer?OS4000 Proprietary closed process control maintenance only GEC 4000 series?POK is a real-time embedded operating system for safety-critical systems.Www.mark3os.com MaRTE OS GNU GPL open source embedded active IA-32 marte.unican.es MAX II, IV Proprietary???Embedded, industrial defunct NEC V20, NEC V30, NEC V40, NEC V50 first itron 1 compatible 16-bit rtos RX616??28, issue 2, 2016,.
Openrtos Proprietary source code available embedded active Same as Freertos www.highintegritysystems.com /rtos /openrtos OSA BSD open source embedded active PIC10-PIC24, AVR 8-bit, STM8 wiki.pic24.ru /doku.php /en /osa /ref /intro OSE Proprietary available to customers general purpose active ARM, PowerPC, x86, TI omap, www.enea.com /ose OS-9.