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.


fixed socket bug added network
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Sep 2008 19:24:45 +0000 (19:24 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 16 Sep 2008 19:24:45 +0000 (19:24 +0000)
commit6d967c202c0afba89cc4a279118ed36ea3d5bf04
treefc7ab74783142ab5591fb85806eb4cbad9aed6fb
parenteb7dda8d4a92a2e8d0c8f867c65317d756ca6c11
fixed socket bug added network
palacios/build/Makefile
palacios/include/geekos/socket.h
palacios/src/geekos/main.c
palacios/src/geekos/socket.c