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.


build fixes and cleanup code to handle VMM shutdown
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 27 Jan 2011 20:00:44 +0000 (14:00 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 27 Jan 2011 20:00:44 +0000 (14:00 -0600)
commit18713f98a14335b09cb7d87b3bea087255eaf10d
tree3f97d53cebc73019adf1ce7b48e08197abdd48fd
parentda5c386c3153196bd0aa4610d8ad513d3f7f1bbc
build fixes and cleanup code to handle VMM shutdown
Kconfig
Makefile
palacios/include/palacios/svm.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_symmod.h
palacios/include/palacios/vmx.h
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_symmod.c
palacios/src/palacios/vmx.c