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.releases.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 198151f)
Cleanup and sanity-checking of assorted additional issues from second pass (Coverity...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 1 Sep 2015 21:47:54 +0000 (16:47 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 1 Sep 2015 21:47:54 +0000 (16:47 -0500)
commitc6d28a5255ee5d1995865fc615bbe2481b19996d
treea9c5569654e31525f733e2bbd2530f81c9cec915tree | snapshot
parent198151f1d58834ff7889389007232a3d250f51f1commit | diff
Cleanup and sanity-checking of assorted additional issues from second pass (Coverity static analysis)
palacios/src/palacios/svm_msr.c diff | blob | history
palacios/src/palacios/vmcb.c diff | blob | history
palacios/src/palacios/vmm_extensions.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project