Système d'exploitation basé sur un micro-noyau créé par Andrew S. Tanenbaum, qui a servi de source d'inspiration à Linus Torvalds pour créer Linux.