• QNX - Wikipedia, the free encyclopedia
  Cool microkernel from quantum, now open source
  in OSes > real time > qnx with microkernel open-source os qnx real-time
  Note: Links that are OS specific.

microkernel from all users