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: 794a794)
include prototype for guest state dump
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Jun 2009 22:02:43 +0000 (17:02 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Jun 2009 22:02:43 +0000 (17:02 -0500)
commitec5d14e0646389db39ffc9244bf8204629b74a8e
treed0e75026ee54048302dcce979804cf5383a3395ctree | snapshot
parent794a794cec97cecc8c7de7f8b5fe33381a1e02e0commit | diff
include prototype for guest state dump
palacios/include/palacios/vm_guest.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project