some renaming

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
 

diff --git a/palacios/src/devices/Makefile b/palacios/src/devices/Makefile
index 434caee..88356e1 100644 (file)
--- a/palacios/src/devices/Makefile
+++ b/palacios/src/devices/Makefile
@@ -37,4 +37,4 @@ obj-$(CONFIG_CURSES_CONSOLE) += curses_cons.o
 obj-$(CONFIG_PASSTHROUGH_PCI) += pci_passthrough.o
 
 obj-$(CONFIG_SYMMOD) += lnx_virtio_symmod.o
-obj-$(CONFIG_STREAM) += stream.o
+obj-$(CONFIG_CHAR_STREAM) += char_stream.o

diff --git a/palacios/src/devices/stream.c b/palacios/src/devices/char_stream.c
similarity index 98%
rename from palacios/src/devices/stream.c
rename to palacios/src/devices/char_stream.c
index 66ee74f..4590cae 100644 (file)
--- a/palacios/src/devices/stream.c
+++ b/palacios/src/devices/char_stream.c
@@ -106,5 +106,5 @@ static int stream_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg)
     return 0;
 }
 
-device_register("STREAM", stream_init)
+device_register("CHAR_STREAM", stream_init)