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.


Cleaned up deinitialization of VMM and free of VMs
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 19 Sep 2013 22:25:42 +0000 (17:25 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 19 Sep 2013 22:26:19 +0000 (17:26 -0500)
commite94507c7055f81abcf6a95132cb7ad90f1b5e6ca
tree64cf98e0887b182918f3debbe80104212310b25b
parente8e3ec0355b791d6f729df796d0155bccca85090
Cleaned up deinitialization of VMM and free of VMs
18 files changed:
linux_module/buddy.c
linux_module/iface-console.c
linux_module/iface-host-dev.c
linux_module/iface-host-pci.c
linux_module/iface-pmu.c
linux_module/iface-pwrstat.c
linux_module/linux-exts.c
linux_module/linux-exts.h
linux_module/main.c
linux_module/mcheck.c
palacios/include/palacios/vmm_cpu_mapper.h
palacios/include/palacios/vmm_options.h
palacios/include/palacios/vmm_scheduler.h
palacios/src/devices/cga.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_cpu_mapper.c
palacios/src/palacios/vmm_options.c
palacios/src/palacios/vmm_scheduler.c