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 post config to before the device's are setup
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 3 May 2011 20:20:29 +0000 (15:20 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 3 May 2011 20:20:29 +0000 (15:20 -0500)
commit498deda77301293d53089f7be0e56b914c932dfa
treee562043e0815ffd12996731343bb04237ab78e26
parentdf02461396f080d7f85318832f3974ffefb924ee
moved post config to before the device's are setup
palacios/src/palacios/vmm_config.c