Hacker News new | ask | show | jobs
by qznc 4159 days ago
QNX http://www.qnx.com/

L4 http://en.wikipedia.org/wiki/L4_microkernel_family