Chorus
A distributed
operating system
developed at
INRIA
.