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-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: fb8c486)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Sep 2008 23:27:07 +0000 (23:27 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 8 Sep 2008 23:27:07 +0000 (23:27 +0000)
commitb2d5697513a87d61e63a4317c89a0927b62b7ea1
tree52ff456e5d21aaaf83de96f43577c96432000007tree | snapshot
parentfb8c4864a1d840edf0be5a84ca30bc1517af8796commit | diff
*** empty log message ***
palacios/src/geekos/socket.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes