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: 3d1dccf)
bug fix for Qemu EVENTINJ issue
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 2 Jun 2010 19:36:52 +0000 (14:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 2 Jun 2010 19:36:52 +0000 (14:36 -0500)
commit8fff7af827c4d7c5a3625f1ca5bdeac7e6538742
tree41b601a36412b9cb891da67a8579af98cd7129b7tree | snapshot
parent3d1dccfd66646ad263a6b3f21667c07de5dc753ccommit | diff
bug fix for Qemu EVENTINJ issue
palacios/src/palacios/svm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project