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: a74d478)
*** empty log message *** working-vmxassist-dinda
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 19 Dec 2007 00:44:21 +0000 (00:44 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 19 Dec 2007 00:44:21 +0000 (00:44 +0000)
commit23882ef53edbe4dfd5029b54c5ecfe7256bfec23
treec21bc7ac0df418a8c0b4538fba42d5497bb3e0d8tree | snapshot
parenta74d47844b74d7f20540037ec949a23461559e53commit | diff
*** empty log message ***
palacios/build/Makefile diff | blob | history
palacios/include/geekos/vmm_sizes.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project