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.


keyed streams update: optional support for tagged saves and loads
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 9 Aug 2011 22:47:59 +0000 (17:47 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 9 Aug 2011 22:47:59 +0000 (17:47 -0500)
commit4fefacc8951fd57a8f5609cf149eb3e5710dee73
treeb2ce35bf283e52b3a304b89860b1deb9696c570f
parentd0629f43f3f4714eea680f6715e114a6e514739b
keyed streams update:  optional support for tagged saves and loads

This changes the save/load macros in the following way:

- STD_SAVE_RAW / STD_LOAD_RAW perform like the old STD_SAVE/STD_LOAD macros (raw format)
  These place data in the stream like [data]
- STD_SAVE_TAGGED / STD_LOAD_TAGGED write data tagged with a separator, a tag, and a size
  These place data in the stream like [cookie] [taglen] [tag] [datalen] [data]
- STD_SAVE / STD_LOAD either use the raw or tagged approach depending the setting
  of the new V3_CONFIG_KEYED_STREAMS_WITH_TAGS option (off by default)
palacios/include/interfaces/vmm_keyed_stream.h
palacios/src/interfaces/Kconfig