Chorus

A distributed operating system developed at INRIA.