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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 623de2d)
increment rip after a successfull hypercall
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 19 Feb 2009 19:45:02 +0000 (13:45 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 19 Feb 2009 19:45:02 +0000 (13:45 -0600)
commit736bdf20ee47fff0e95a62dda22d627da556425f
tree9b5fa07420fd7f7551776ea8c1175c413ba30b7dtree | snapshot
parent623de2de1c4a31c29975867343b7a78962094feecommit | diff
increment rip after a successfull hypercall
palacios/src/palacios/svm_handler.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project