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: ed42f51)
restored file
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 4 Apr 2008 23:39:32 +0000 (23:39 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 4 Apr 2008 23:39:32 +0000 (23:39 +0000)
commit5ad0c835a5bd7181a7a342478bd398ad73712306
tree2cbb8da6673783f8123469797590bd1b18d7932atree | snapshot
parented42f510da670d47e780813b35a78bea90a8ccdecommit | diff
restored file
palacios/src/geekos/vmm_stubs.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project