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: 1f0cbd2)
data type fixes
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 21 Dec 2011 21:28:58 +0000 (16:28 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Feb 2012 20:14:17 +0000 (15:14 -0500)
commit3ed24775c0c85bf022a57bf3b194c68b594e4a37
treec81038f728b44ff66e9b02ab67fd1667724a1960tree | snapshot
parent1f0cbd22f1263a6083f0d5fc69f69f98db6006dfcommit | diff
data type fixes
palacios/src/palacios/svm_msr.c diff | blob | history
palacios/src/palacios/vmm_msr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project