Two different file system implementations. The stub file system allows files to be used in Nachos before the real file system has been completed.
Nachos uses the stub file system by default.
The machine simulation. Except as noted in machine.h , do NOT modify this code. Several independent simulated Nachos machines can talk to each other through a simulated network. Unix sockets are used to simulate network connections between machines. These are separate from the Nachos OS and workstation simulation source.