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.


filedisk XML configuration language tweak
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 16:21:43 +0000 (11:21 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 16:23:25 +0000 (11:23 -0500)
commitd0652a946b5d7dcee13c9d445b103f37284059aa
tree0d36499cb5e0b27a9ff886c9930deb7d8e48b4b4
parent357764d1d3bc432b149e8864c183c3a39ee4d474
filedisk XML configuration language tweak
palacios/src/devices/filedisk.c