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: c4e343e)
Clean the typos
authorLei Xia <lxia@northwestern.edu>
Wed, 28 Apr 2010 21:57:40 +0000 (16:57 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 28 Apr 2010 21:57:40 +0000 (16:57 -0500)
commitd19b2db7746aafcc6cce5374a4537da454919827
tree6a9eba0735c2aeb9085f28f8271a2c714bcfd65etree | snapshot
parentc4e343e346404fcc7674dcfa32e588a282be0f86commit | diff
Clean the typos
palacios/include/palacios/vmm_time.h diff | blob | history
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project