Explicitly state that mmap'd files must be lazily loaded.
[pintos-anon] / doc / mlfqs1.eps
2004-09-26 Ben PfaffAdd .eps files because most people don't have jgraph,