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.


Clean up hashtable frees to fix rmmod crash on redhat
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 4 Oct 2013 18:22:49 +0000 (13:22 -0500)
committerroot <root@v-test-r415-3.localdomain>
Fri, 4 Oct 2013 18:22:49 +0000 (13:22 -0500)
commitc10469f54e93ee7a21692f7a19b680610dc57e28
treed711b3bef711716e20df183feec6e90281dfea04
parent310d9000bf6012dffd877c3c42e82521b94402c4
Clean up hashtable frees to fix rmmod crash on redhat
linux_module/buddy.c
palacios/src/palacios/vmm_cpu_mapper.c
palacios/src/palacios/vmm_scheduler.c
v3_config_guest.pl