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.


update netdisk to new interface
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Feb 2010 23:50:49 +0000 (17:50 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 22 Feb 2010 23:50:49 +0000 (17:50 -0600)
commit60c7e3ecfc95dc2b6aaa463cc9692dece0f5e591
treebd22f5599bcdb4ca2c29699d53888ba7d4891d64
parent27b1aab6a0b0f909e8cea27656dbfa05d0335e94
update netdisk to new interface
palacios/src/devices/netdisk.c