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: e0de615)
Device manager updated with extended save/load model to facilitate devices that need...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:16:26 +0000 (11:16 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:32:46 +0000 (11:32 -0600)
commit54be7fbb6b41d1241ad563a7135cdb28be73ff82
tree937b72110a3b0ddb40f2a509e5eb20a2db56ba74tree | snapshot
parente0de615834461da95407a446d5883be3a45257a0commit | diff
Device manager updated with extended save/load model to facilitate devices that need to manage their own contexts
palacios/include/palacios/vmm_dev_mgr.h diff | blob | history
palacios/src/palacios/vmm_dev_mgr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project