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.


added test hypercall for debugging guest hypercall support
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 7 Dec 2009 23:10:58 +0000 (17:10 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 7 Dec 2009 23:10:58 +0000 (17:10 -0600)
commit798ebfe9dc90f8981881a31737230328a193b333
tree58c5f1ae85a21f4deeb154cbffaa5e5f8ce05207
parentda1657c1b2c2bd79450953f8bffada73f040b556
added test hypercall for debugging guest hypercall support
palacios/src/palacios/vmm_hypercall.c