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: 2a9cf19)
Cleanup and fixes based on Coverity pass
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 3 Jun 2016 21:43:03 +0000 (16:43 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 3 Jun 2016 21:44:49 +0000 (16:44 -0500)
commit210c49c1f9b523ff94fd5b6791961d242d5bbae4
tree31a4761378fde7bea63a9ac8dafffb227e778921tree | snapshot
parent2a9cf19fe40ce33f1c2728a41b18011dda365c06commit | diff
Cleanup and fixes based on Coverity pass
nautilus/palacios-stubs.c diff | blob | history
palacios/src/palacios/vmm_cpu_mapper.c diff | blob | history
palacios/src/palacios/vmm_xml.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project