Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...

Conflicts:

	palacios/src/devices/serial.c
	palacios/src/devices/stream.c

diff --cc palacios/src/devices/stream.c
index bfcb855,e470cd9..0c6aed2
--- 1/palacios/src/devices/stream.c
--- 2/palacios/src/devices/stream.c
+++ b/palacios/src/devices/stream.c
@@@ -24,9 -24,8 +24,8 @@@
  #include <palacios/vmm_host_events.h>
  #include <palacios/vmm_lock.h>
  #include <palacios/vmm_string.h>
 -
 +#include <devices/serial.h>
  
- 
  struct stream_state {
      void *stream;
      struct vm_device *frontend_dev;
@@@ -103,10 -101,11 +102,10 @@@ static int stream_init(struct v3_vm_inf
        return -1;
      }
  
 -    /* attach to front-end display adapter */
 -    v3_console_register_cga(frontend, &cons_ops, dev);
 -
 -      return 0;
 +    v3_stream_register_serial(frontend, &stream_ops, dev);
- 
-       return 0;
++      
++    return 0;
  }
  
 -device_register("CURSES_CONSOLE", cons_init)
 +device_register("STREAM", stream_init)