Nachos places a file system on top of an existing SynchDisk object. Before going into the details, it is helpful to consider how files themselves are stored.