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.


Cleanup and sanity-checking of switch issues, negative array indexes, operand indepen...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 1 Sep 2015 20:21:34 +0000 (15:21 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 1 Sep 2015 20:21:34 +0000 (15:21 -0500)
commit9e70ba8a6d2bae61d62c99cbab56753cf1440716
treeaa7a32ed01b9e95c2e2496bf3d272b18e20dc0e5
parenta5d2c00cc461b4a60a1360a2a0bba55cef467bab
Cleanup and sanity-checking of switch issues, negative array indexes, operand independence (Coverity static analysis)
linux_module/iface-pwrstat.c
linux_module/iface-pwrstat.h
palacios/src/devices/generic.c
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_perftune.c