The distributed V kernel and its performance for diskless workstations | Synapse