Category talk:Microkernel-based operating systems

Missing...
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?
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)