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 before/after null-check and copy+paste errors (Coverit...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 1 Sep 2015 16:47:14 +0000 (11:47 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 1 Sep 2015 16:47:14 +0000 (11:47 -0500)
commit88a3605446744969abe6f193a7bc20e62d5aa555
tree6db4a97581c5625569898db11eafad6eaacff65e
parentd775bbfa668ce9968bacc0e4257cf86e5ab88e90
Cleanup and sanity-checking of before/after null-check and copy+paste errors (Coverity static analysis)
linux_module/iface-keyed-stream.c
palacios/src/devices/apic.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_extensions.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_rbtree.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmm_xml.c