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: d0652a9)
Disallow startup with shadow paging + memory region outside 4GB boundary
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 20:40:17 +0000 (15:40 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 17 Aug 2012 20:40:17 +0000 (15:40 -0500)
commit1b9bba809bf9c1d6ada56c7e4f8910e7afb82557
tree74ba48a8911e1883cac0f4eaa6e78fdfb793ca44tree | snapshot
parentd0652a946b5d7dcee13c9d445b103f37284059aacommit | diff
Disallow startup with shadow paging + memory region outside 4GB boundary
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project