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.


Debugged changes to make shadow and nested paging configurable again.
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 29 Jul 2010 17:48:14 +0000 (11:48 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 29 Jul 2010 17:48:14 +0000 (11:48 -0600)
commit6d9d2f66b15fba2d85c6f74c84eee68444219775
treecdeaa36ae13a8a388e1ce653e0946d6692e8d57f
parentdf3160b29f89ace52cae30c986838a00ef96081a
Debugged changes to make shadow and nested paging configurable again.
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_shadow_paging.c
utils/guest_creator/default.xml