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.


deinitialization of interrupt state
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 Jan 2011 22:00:08 +0000 (16:00 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 6 Jan 2011 22:00:08 +0000 (16:00 -0600)
commit16745fa0dd0900263d4d92315cd17e0ed9ccae91
tree34042fac59b0c97469d0d3ee656d8cb9fb211c1a
parent29b7ff8811c82ab543f5c969e44ff217637a09c7
deinitialization of interrupt state
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_intr.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_xed.c