Date: Mon, 22 Feb 93 16:54:25 -0800
From: tea@jericho.cs.berkeley.edu (Thomas E. Anderson)

the pointer to Nachos is by anon ftp, from
ftp.cs.berkeley.edu, file ucb/nachos/nachos-2.2.tar.Z
That file has the Nachos software, sample assignments, and a postscript
copy of the paper.

tom