Note: A limited number of implementations and vendors exist. Most products are only commercially sold and licensed, others are freely available with open-source license for a limited number of controllers. See also:
Comparison of real-time operating systems.
Open-source derivates Note: Open-source developments are often very limited in scope (targets, conformance classes, characteristics) and are not verified against the specifications unless told otherwise. • ArcCore AUTOSAR OS, by Arctic Core (now part of
Vector Informatik) • License: Dual GPL/Commercial • Firmware de la CIAA (former FreeOSEK), specifically Firmware v1 • OSEK, by Chalandi Amine. •
Lego Mindstorms implementations: • ev3OSEK • nxtOSEK/JSP • TOPPERS Project (
Toyohashi OPen Platform for Embedded Real-time Systems) • Release: ATK1 • Release: ATK2 • Targets: m68k, sh1, sh2, sh3, h8, arm 4, m32r,
MicroBlaze, tms320c54x, xstormy16,
mips3,
Nios II, v850, rh850 • License: MIT or TOPPERS License • Trampoline by
IRCCyN. • Targets: ARM Cortex, RISC-V, PowerPC, POSIX, AVR, ARM 32bits, MSP430/CPUX, Renesas G4MH • License: GPLv2
Defunct, not active, unknown status • mKernel for Microchip PIC18F4550 (Former
https://sourceforge.net/projects/mkernel/ - not accessible or available as of October 2021) • openOSEK (no files, hosted on
SourceForge, last update: 2013) • PicOS18 etc. - formerly available and hosted at picos18.com • Trioztech OSEK was a commercial implementation == Further reading ==