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.


VNET control /proc permission fixes
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 7 Aug 2013 21:31:08 +0000 (16:31 -0500)
committerroot <root@v-test-r415-3.localdomain>
Wed, 7 Aug 2013 21:31:28 +0000 (16:31 -0500)
commitd1931b46120e40eb7389983043add48586858d1d
tree831e9b8213d1d5ee19c8f2ba2181f176ba358e3f
parent618756fd1cd3eb49db2a77202bcc26dedfd564b5
VNET control /proc permission fixes
linux_module/palacios-vnet-ctrl.c