Fox

The Fox project from CMU to write an OS using (an extension to) the programming language Standard ML.

This page is linked from: Microkernel   Microkernel Debate