Nachos supports two types of VM architectures: linear page tables, or a software managed TLB. While the former is simpler to program, the latter more closely corresponds to what current machines support. Nachos supports one or the other, but not both (simultaneously).