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.


hooked checkpoint code up to the linux module and added user space tools
authorMadhav Suresh <madhav@u.northwestern.edu>
Fri, 16 Sep 2011 20:36:31 +0000 (16:36 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 20:36:31 +0000 (16:36 -0400)
commit793f9cd53a472668dbeb16341085e5512484485c
tree60821d29be6d91112f6ae0cdbdbf7f2859c11d34
parent639d38dc437f87b9eab6648074f7b3eb8800e5d7
hooked checkpoint code up to the linux module and added user space tools
12 files changed:
linux_module/palacios.h
linux_module/vm.c
linux_usr/Makefile
linux_usr/v3_core_move.c
linux_usr/v3_ctrl.h
linux_usr/v3_load.c [new file with mode: 0644]
linux_usr/v3_save.c [new file with mode: 0644]
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_checkpoint.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_checkpoint.c