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.


moved vnet to extension framework
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 9 Jun 2011 17:45:20 +0000 (12:45 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 9 Jun 2011 17:45:20 +0000 (12:45 -0500)
commit176c87563accd1bddbd195fa830d1d0156030ffc
treead6accc6e282119ce848abe413199dedba67fe1f
parent3d2ae914c0dae420aa777ad0b298060b808434f1
moved vnet to extension framework
linux_module/palacios-dev.c
linux_module/palacios-vnet.c