Nachos is a teaching tool for operating systems developed at UC Berkeley.
We use their Java variant. Below are local copies of this software and documentation.