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.


linux file interface fixes
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 3 Nov 2011 15:52:33 +0000 (11:52 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 3 Nov 2011 15:53:06 +0000 (11:53 -0400)
commit99f1517c549fc1da5f8aed0288ecbafc22903d3d
tree1f77b6d6fbc6377a2483baea2cc3637eb5da9993
parent67a6b30f915c83005bf0e3ae4a2d9f9598b10013
linux file interface fixes
linux_module/iface-file.c