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.


added directory creation to the file interface
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 27 Oct 2011 21:35:51 +0000 (17:35 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 27 Oct 2011 21:39:17 +0000 (17:39 -0400)
commitc4beaffa640916f82593013a1b272ce09ee1cfbd
tree573ad10add0bef8e4cf1a3664793ee3ce93691b7
parentad468ace3ffaac55719923219920d038b3be5844
added directory creation to the file interface
linux_module/iface-file.c
palacios/include/interfaces/vmm_file.h
palacios/src/interfaces/vmm_file.c