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: f1d937f)
config fix
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 6 Oct 2010 17:41:05 +0000 (12:41 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 6 Oct 2010 17:41:05 +0000 (12:41 -0500)
commit9798c8b5ac49f9b8b9e545aa8e7bbf0b8ae46ee0
tree50f16fc70747678ae3a15eb3fbdacf1b85b1dc04tree | snapshot
parentf1d937f37582d3faeaaf8c353d118adc0d8a43b9commit | diff
config fix
palacios/src/palacios/vmm_config.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project