From: Jack Lange <jacklange@cs.pitt.edu>
Date: Tue, 17 May 2011 15:48:32 +0000 (-0500)
Subject: build fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=9b42eba2271981b4642c83cb520b68fe15f270fb;p=palacios.releases.git

build fix
---

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 15be9a4..3610f2f 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -454,6 +454,7 @@ config SERIAL_UART
 
 config CHAR_STREAM
 	bool "Stream based character frontend"
+	depends on STREAM
 	default n
 	help
 	  Include Stream based character device frontend