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.


userspace changes to break apart VM lifecycle management
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 4 Oct 2011 03:31:23 +0000 (23:31 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 6 Oct 2011 22:29:24 +0000 (18:29 -0400)
commit0b342d28c860e4b3911b529f5363d35faa86aa25
tree4109ab47ba05e75e4ff73f34584ab5302c594262
parent55e1aec9b0d2358b02721d3d331089e100f3fe27
userspace changes to break apart VM lifecycle management
linux_module/main.c
linux_module/palacios.h
linux_module/vm.c
linux_module/vm.h
linux_usr/Makefile
linux_usr/v3_create.c [new file with mode: 0644]
linux_usr/v3_ctrl.h
linux_usr/v3_free.c [new file with mode: 0644]
linux_usr/v3_launch.c [new file with mode: 0644]
linux_usr/v3_stop.c
palacios/src/palacios/vmm.c