X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=456d71753cc32a5ddc6222e3dcaa227f09269f6b;hb=01d142cec24e5054d8d86e5dba1eff7f5b008c72;hp=7185263d168011b6053b8f732d0d9cf7127de245;hpb=7ad718d4d85357b03df393e9176ce0ac73036782;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 7185263..456d717 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -337,5 +337,11 @@ config SERIAL_UART
 	help 
 	  Include virtual serial port
 
+config STREAM
+	bool "Stream device"
+	default n
+	help
+	  Stream Device
+
 endmenu