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.


Update to char_stream device for new stream interface changes
Peter Dinda [Fri, 2 Aug 2013 21:07:31 +0000 (16:07 -0500)]
palacios/src/devices/char_stream.c

index 445a0ac..6019c2b 100644 (file)
@@ -37,14 +37,14 @@ struct stream_state {
 };
 
 
-static uint64_t  stream_input(struct v3_stream * stream, uint8_t * buf, uint64_t len) {
+static sint64_t  stream_input(struct v3_stream * stream, uint8_t * buf, sint64_t len) {
     struct stream_state * state = stream->guest_stream_data;
 
     return state->char_ops.input(state->vm, buf, len, state->push_fn_arg);
 
 }
 
-static uint64_t  stream_output(uint8_t * buf, uint64_t length, void * private_data) {
+static sint64_t  stream_output(uint8_t * buf, sint64_t length, void * private_data) {
     struct stream_state * state = (struct stream_state *)private_data;
    
     return v3_stream_output(state->stream, buf, length);