Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


deallocate arch specific IO/MSR hook state
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 03:55:30 +0000 (21:55 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 03:55:30 +0000 (21:55 -0600)
commitc31bb26014522e5678e9c9dcc9eda760eeb5907a
tree4f623dc9b513975270726719e5deb09932283b00
parentfe719150440abe776a01faed02a2e40bed8029f9
deallocate arch specific IO/MSR hook state
palacios/include/palacios/svm_io.h
palacios/include/palacios/svm_msr.h
palacios/include/palacios/vmm_hypercall.h
palacios/include/palacios/vmx_io.h
palacios/include/palacios/vmx_msr.h
palacios/src/palacios/svm_io.c
palacios/src/palacios/svm_msr.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_hypercall.c
palacios/src/palacios/vmx_io.c
palacios/src/palacios/vmx_msr.c