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.


*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Sep 2008 22:51:07 +0000 (22:51 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Sep 2008 22:51:07 +0000 (22:51 +0000)
commitc3bf21ce75d6ea7ffb74b2d548d0c0b2d2843ea7
tree48a924f4ba6e3443417c78b4ec1beef1705520b1
parentb2d5697513a87d61e63a4317c89a0927b62b7ea1
*** empty log message ***
palacios/build/Makefile
palacios/include/geekos/socket.h
palacios/src/geekos/main.c
palacios/src/geekos/socket.c