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: d7abb38)
to rein in the confusion
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 4 Aug 2008 23:32:15 +0000 (23:32 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 4 Aug 2008 23:32:15 +0000 (23:32 +0000)
commit299678c78c20fdd711785ee89f125a3819580117
tree9e1acd0d0de4ae6de7859934ccedc2dab16dfceftree | snapshot
parentd7abb3844179bcd1089e56980b9628a7e54ab851commit | diff
to rein in the confusion
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project