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: f5609f7)
build fix
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Mar 2009 20:37:45 +0000 (15:37 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Mar 2009 20:37:45 +0000 (15:37 -0500)
commit2f94a8dfea7209ee001ab014f5668c360320f14f
tree679230381db8b7551aec8adca708715781f19eactree | snapshot
parentf5609f756bfe8b19012bd2dd57956969e5c958efcommit | diff
build fix
palacios/src/palacios/vmm_xed.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project