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: 0f01f10)
more debugging output...
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Mar 2009 20:10:18 +0000 (15:10 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 9 Mar 2009 20:10:18 +0000 (15:10 -0500)
commit191b42c70d34a064b6600784508e3a06040ec044
tree0c92352de2d2eba280fe2d44e3f49ea7a7894ecctree | snapshot
parent0f01f102e9ec2aeed9fc74095aaa00deb32b52c8commit | diff
more debugging output...
palacios/src/palacios/vmm_xed.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project