Provides classes that allow Nachos processes to be demand paged, and to use a hardware TLB for address translation.