Category talk:Microkernel-based operating systems
Missing...
[edit]Article does not mention Microware's OS-9 operating system or the AmigaOS derived MorphOS. Iggybeans (talk) 20:54, 22 December 2016 (UTC)
Is FreeRTOS really microkernel OS?
[edit]I cannot find the proof, that FreeRTOS is of microkernel architecture. — Preceding unsigned comment added by 94.153.230.50 (talk) 13:13, 5 October 2017 (UTC)