MINIX

[Mike Watterson]

Co-incidently

Dr Andy Tanenbaum's Minix, which was an indirect progenitor of Linux itself, is another, although Minix 1 and 2 were largely monolithic. Minix 3, though, is a true microkernel, and a version runs inside most modern Intel CPUs' management processors.

From Forgetting the History of UNIX