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.


Cleaned up /proc parsing for vnet
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 27 Jul 2012 22:03:19 +0000 (17:03 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 27 Jul 2012 22:03:19 +0000 (17:03 -0500)
commit942e77fd2938f2226a3386eee8bb2605782acbb9
tree0e8ae9c349df51d9ecade80d0827cc53305215ba
parentf31b4ee024b09ded6a5be33a33cca0e2e756b63d
Cleaned up /proc parsing for vnet
linux_module/palacios-vnet-ctrl.c