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: b7cb21f)
linker fix
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 23 Apr 2009 03:46:08 +0000 (22:46 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 23 Apr 2009 03:46:08 +0000 (22:46 -0500)
commit785b7105d35b97c6e7a176facc29a2efdb234951
treeae39fdc74e1508dd30f057707438dbbe2a9e7bf1tree | snapshot
parentb7cb21f4a2443581074c0a3374ef9d88e72c51cecommit | diff
linker fix
palacios/src/palacios/vm_guest.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project