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: 6265954)
*** empty log message ***
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 29 Nov 2007 21:40:07 +0000 (21:40 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 29 Nov 2007 21:40:07 +0000 (21:40 +0000)
commitdf31e934d48d71d01ccb89a8c35d7487366a7841
treef97ff91bd555ba448c6547c856d0d91faa77fca5tree | snapshot
parent626595465a2c6987606a6bc697df65130ad8c2d3commit | diff
*** empty log message ***
palacios/include/geekos/cpu.h [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project