Introduce "kernel" and "user" pools as a band-aid for user memory
[pintos-anon] / src / vmware /
2004-08-16 Ben PfaffInitial revision