- Has broader
- Category:Microkernels
- Category:Operating systems
- Has related
- Category:Microkernels
- Label
- enMicrokernel-based operating systems
- Preferred label
- enMicrokernel-based operating systems
- WasDerivedFrom
- Category:Microkernel-based operating systems?oldid=1059171887&ns=14
- Wikipage page ID
- 20290726
- Wikipage revision ID
- 1059171887