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: 34e57f6)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 04:39:18 +0000 (04:39 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 17 Jul 2008 04:39:18 +0000 (04:39 +0000)
commit2fb8b9a851cf1af89c476c933a2ba80ddf474379
tree8573de5152b9555204e29bafde2c9243b7f6d72btree | snapshot
parent34e57f627bced8d769c98c53def61cf7e9028416commit | diff
*** empty log message ***
palacios/build/Makefile diff | blob | history
palacios/src/devices/serial.c diff | blob | history
palacios/src/geekos/vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project