some renaming

[palacios-OLD.git] / palacios / src / devices / Kconfig

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 456d717..b60f420 100644 (file)
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -337,11 +337,11 @@ config SERIAL_UART
        help 
          Include virtual serial port
 
-config STREAM
-       bool "Stream device"
+config CHAR_STREAM
+       bool "Stream based character frontend"
        default n
        help
-         Stream Device
+         Include Stream based character device frontend
 
 endmenu