lkml.org 
[lkml]   [2006]   [Dec]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] move SYS_HYPERVISOR inside the Generic Driver menu
Linux Kernel Mailing List wrote:
> commit eba6cd671427df295c10b54ee69cd5de419d38fe
> tree c92e5b59d5261a029a9e24b72b31eac70150cca1
> parent d7c3f5f231c60d7e6ada5770b536df2b3ec1bd08
> author Randy Dunlap <randy.dunlap@oracle.com> 1162057135 -0700
> committer Linus Torvalds <torvalds@g5.osdl.org> 1162060255 -0700
>
> [PATCH] move SYS_HYPERVISOR inside the Generic Driver menu
>
> Put SYS_HYPERVISOR inside the Generic Driver Config menu where it should
> be. Otherwise xconfig displays it as a dangling (lost) menu item under
> Device Drivers, all by itself (when all options are displayed).
>
> Signed-off-by: Randy Dunlap <randy.dunlap@oracle.com>
> Cc: <holzheu@de.ibm.com>
> Cc: Martin Schwidefsky <schwidefsky@de.ibm.com>
> Cc: Heiko Carstens <heiko.carstens@de.ibm.com>
> Signed-off-by: Andrew Morton <akpm@osdl.org>
> Signed-off-by: Linus Torvalds <torvalds@osdl.org>
>
> drivers/base/Kconfig | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/drivers/base/Kconfig b/drivers/base/Kconfig
> index 0b4e224..1429f3a 100644
> --- a/drivers/base/Kconfig
> +++ b/drivers/base/Kconfig
> @@ -37,8 +37,8 @@ config DEBUG_DRIVER
>
> If you are unsure about this, say N here.
>
> -endmenu
> -
> config SYS_HYPERVISOR
> bool
> default n
> +
> +endmenu

I missed this when it went in.

The entire sum of code under this config option is so tiny, why not just
make it unconditional? Or depend on CONFIG_EMBEDDED.

Jeff


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2006-12-13 17:45    [W:0.058 / U:0.200 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site