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.


More extensive error checking in checkpoint/restore + other cleanup
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 01:48:39 +0000 (20:48 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 01:48:39 +0000 (20:48 -0500)
commit46255dee5894bc5e3be5f54a5866c0c4b30b3896
tree4cd31520056ad55384541eef99cd9f654a88b3c4
parentad00932be31579b80f80c1cc67677bd3c263fd89
More extensive error checking in checkpoint/restore + other cleanup
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_checkpoint.c
palacios/src/palacios/vmm_chkpt_stores.h
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmx.c