Medusa, a distributed operating system