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: df31e93)
*** empty log message ***
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 29 Nov 2007 23:04:14 +0000 (23:04 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 29 Nov 2007 23:04:14 +0000 (23:04 +0000)
commita74d47844b74d7f20540037ec949a23461559e53
tree05c94dcb22bda74e11f8188530ed1798d2b5b882tree | snapshot
parentdf31e934d48d71d01ccb89a8c35d7487366a7841commit | diff
*** empty log message ***
palacios/build/Makefile diff | blob | history
palacios/build/depend.mak diff | blob | history
palacios/src/vmboot/vmxassist/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project