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.


Fixed nested paging to work again, minor change to configuration syntax of shadow...
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 29 Jul 2010 21:30:05 +0000 (15:30 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 29 Jul 2010 21:30:05 +0000 (15:30 -0600)
commit293e053b9199b12266c628e9737ecbad2d6497ee
tree37b2e92fbd5a47b3e37c6f057c5a96c544915a0f
parent570f2903178711d599b0ba465901f52bdc6d66a6
Fixed nested paging to work again, minor change to configuration syntax of shadow and nested paging.
Updated default.xml appropriately.
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_direct_paging_32pae.h
palacios/src/palacios/vmm_direct_paging_64.h
palacios/src/palacios/vmm_shadow_paging.c
utils/guest_creator/default.xml