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.


Fixed interface error in keyed streams and build error
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 7 Apr 2011 23:02:34 +0000 (18:02 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 7 Apr 2011 23:02:34 +0000 (18:02 -0500)
commit4156ab67859b157da5d78ea6984f3af067bb7edd
tree47264575d4c1c21d7bca043ba8447ca7ce87ca2e
parentb3db1a4554c2cbcdd311f8abe4abac4c81fd6fe9
Fixed interface error in keyed streams and build error
palacios/include/palacios/vmm_keyed_stream.h
palacios/src/palacios/Makefile