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.


Error checking fixes, minor bug in keyed stream, minor bug in checkpoint
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 14 Jan 2014 00:04:02 +0000 (18:04 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 14 Jan 2014 00:04:02 +0000 (18:04 -0600)
commit0b2115047303e779be8578e9802cfa55d1767c7b
treeb82eb477a8db11b288d324553c7e423046958ebb
parentae17be15b87687b72162680b335d64b741d0bb6b
Error checking fixes, minor bug in keyed stream, minor bug in checkpoint

All allocations now zeroed by default
linux_module/buddy.c
linux_module/iface-code-inject.c
linux_module/iface-env-inject.c
linux_module/iface-file.c
linux_module/iface-keyed-stream.c
linux_module/inspector.c
linux_module/main.c
linux_module/palacios-stubs.c
palacios/src/palacios/vmm_checkpoint.c
palacios/src/palacios/vmm_util.c