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: 4a87564)
added bounds checking for bitmap updates
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 14 Nov 2011 23:41:31 +0000 (18:41 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 14 Nov 2011 23:40:12 +0000 (18:40 -0500)
commitbcab692b40b809c628eb365c199ffd3c757a6cc7
treebd3cd3102b189cbab9c451b319abf274b7d60299tree | snapshot
parent4a87564dd627efc2fa0b15044ebd16b98cc0009acommit | diff
added bounds checking for bitmap updates
palacios/src/palacios/vmx_msr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project