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 endianness, dead code, unchecked returns (Coverity...
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 1 Sep 2015 20:51:01 +0000 (15:51 -0500)
committerroot <root@v-test-r415-3.localdomain>
Tue, 1 Sep 2015 20:51:01 +0000 (15:51 -0500)
commit6d3926e16dc1ba6ca0144e65b737e432c48aaa91
tree99a2240eb72d030dc105c0de2b65940bebe67fc4
parent9e70ba8a6d2bae61d62c99cbab56753cf1440716
Cleanup and sanity-checking of endianness, dead code, unchecked returns (Coverity static analysis)
palacios/src/devices/rtl8139.c
palacios/src/devices/vga.c
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32pae.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_debug.c
palacios/src/palacios/vmx.c