enable VMRUN now that VMLOAD/VMSTORE works
commit0bb56908e4b146f05146495fe1dc03dcfa996135
authorDiego Ongaro <diego.ongaro@rice.edu>
Sun, 19 Oct 2008 11:50:40 +0000 (19 06:50 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Sun, 19 Oct 2008 11:50:40 +0000 (19 06:50 -0500)
treec78d306c0335a49ccc6747db02778eb0b637c2f5
parent563148cb439d1aec14863e53665b453bf2035020
enable VMRUN now that VMLOAD/VMSTORE works
sys/kern/kern_fkvm.c