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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: ec75bbb)
Fallback to shadow paging if nested not supported or no paging mode specified
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 15 Jul 2013 23:29:43 +0000 (18:29 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 15 Jul 2013 23:29:43 +0000 (18:29 -0500)
commit6e7b9d67ea5d13abef6c62ca7b257f8085bfebd9
treeb0a6a6e6f4677a2969b6df5b910437670e725da4tree | snapshot
parentec75bbb093fa99a4be794f0f564867c0091ccb85commit | diff
Fallback to shadow paging if nested not supported or no paging mode specified
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project