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.


reworked the interrupt handling to streamline things, also added initial support...
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:49:07 +0000 (16:49 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:49:07 +0000 (16:49 -0500)
commite03d97f01158ab87a941e1eac394e68643fd7194
tree46cf83f050c6229f9239112ae9669cd058a46cda
parent5b56e669e95075b07c1f7c7d77b4e37311b6a4c2
reworked the interrupt handling to streamline things, also added initial support for VIRQs
palacios/include/palacios/vmcb.h
palacios/include/palacios/vmm_intr.h
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_intr.c