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.


actually add the filedisk implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Aug 2010 18:40:29 +0000 (13:40 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 5 Aug 2010 18:43:54 +0000 (13:43 -0500)
commit05d8adefac27becd94fcf7d0406d64f516f22cdc
tree2991451469fae083bc6e32c3d15b11e812d78643
parent21cfafd321b2a667808b2f0bcd089ff395ced431
actually add the filedisk implementation
palacios/src/devices/filedisk.c [new file with mode: 0644]