jmoldow/6.828-paging-system-project — pull request #14 by jmoldow (2012-11-27 01:28:02+00:00)
Title: Hd partition

Adds a hard drive swap space for the page server to store the contents of physical pages on disk. Also completes the PageIPC API, and adds code for the PageIPC handlers.

Note: untested with library functions. Next step should be to merge these two pieces of code and test.

In theory this partially or fully resolves Github Issues #1, #2, #4, #5, and #12.