Re: [TUHS] Distributed systems, was: On the origins of Linux - "an academic question"