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: b580d9f)
reworked the launch code
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Nov 2010 22:35:09 +0000 (16:35 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Nov 2010 22:35:09 +0000 (16:35 -0600)
commit1fa090b14d99831af81c9d62aa47243ac1f0b9a5
tree07afbee56d9efc5f7b49c7726f36bf01668cea66tree | snapshot
parentb580d9fca65a7b6f84eaebb57cad09bc6e941dfdcommit | diff
reworked the launch code
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project