vm mmu support
authorRonald G. Minnich <rminnich@google.com>
Mon, 6 Jan 2014 23:52:32 +0000 (15:52 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 17 Jan 2014 22:35:29 +0000 (14:35 -0800)
commit504694bd99d927b961d1ba24fcb733e0b57770c3
tree03f265ac82d1c73bf28ffdcbb9b2ee07b41a5d75
parent13fcfcf534595ae5d7cfd22ca71a4143d2d66932
vm mmu support

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
kern/arch/x86/Kbuild
kern/arch/x86/paging_tmpl.h [new file with mode: 0644]
kern/arch/x86/vm.c
kern/arch/x86/vm.h
kern/arch/x86/vm_mmu.c [new file with mode: 0644]