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: 0371526)
Added host keyed stream support
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 7 Apr 2011 21:11:59 +0000 (16:11 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 7 Apr 2011 21:11:59 +0000 (16:11 -0500)
commitbdbff6b6e5f78f5a1689f5d77814196ee2e4f6cb
treee18021869a1f16e7ace4cf2c5e32c619c30f30cbtree | snapshot
parent03715266180ca2d9ea6ca4bbd9151d0017cefa49commit | diff
Added host keyed stream support
Kconfig diff | blob | history
palacios/include/palacios/vmm_keyed_stream.h [new file with mode: 0644] blob
palacios/src/palacios/Makefile diff | blob | history
palacios/src/palacios/vmm_keyed_stream.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project