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 OOB accesses and pointer-to-local issues (Coverity...
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 31 Aug 2015 23:18:28 +0000 (18:18 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 31 Aug 2015 23:18:28 +0000 (18:18 -0500)
commitd775bbfa668ce9968bacc0e4257cf86e5ab88e90
tree2979c1b5c6c344d61aa415a87cd67a5f5e8fa734
parentd22c11cec4e8c3390bfe6bf16ed07f5d073f0d4a
Cleanup and sanity-checking of OOB accesses and pointer-to-local issues (Coverity static analysis)
linux_module/iface-file.c
linux_module/iface-host-pci-hw.h
linux_module/main.c
palacios/src/devices/8259a.c
palacios/src/devices/cga.c
palacios/src/devices/ide.c
palacios/src/devices/io_apic.c
palacios/src/devices/lnx_virtio_nic.c
palacios/src/devices/ne2k.c
palacios/src/devices/telnet_cons.c
palacios/src/palacios/vmx.c