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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c33edc1)
core checkpoint import
authorMadhav Suresh <madhav@u.northwestern.edu>
Fri, 16 Sep 2011 19:39:20 +0000 (15:39 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 19:49:57 +0000 (15:49 -0400)
commit6ee36e0a7e4585bd0e4235eeb60644fffe230af3
tree2314be384a6ba1c4e503eddb3a09c589d139799dtree | snapshot
parentc33edc166097522d640b65af5376ca940ac13838commit | diff
core checkpoint import
Kconfig diff | blob | history
palacios/include/palacios/svm.h diff | blob | history
palacios/include/palacios/vmm_checkpoint.h [new file with mode: 0644] blob
palacios/include/palacios/vmx.h diff | blob | history
palacios/src/palacios/Makefile diff | blob | history
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmm_checkpoint.c [new file with mode: 0644] blob
palacios/src/palacios/vmm_chkpt_stores.h [new file with mode: 0644] blob
palacios/src/palacios/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project