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: 7841dc5)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 13 Apr 2008 22:58:50 +0000 (22:58 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 13 Apr 2008 22:58:50 +0000 (22:58 +0000)
commit33bc3aea893607276b82cc2f1237f88a9e435dc1
tree4b3d9b05c3a85e88ade8c593cb00bb816113c7f7tree | snapshot
parent7841dc573457c334a0f3b6e9186d26b1776c400fcommit | diff
*** empty log message ***
palacios/include/palacios/vmm_dev.h [deleted file] blob | history
palacios/src/palacios/vmm_dev.c [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project