From b5fb550ce2d55156609a7549d062e10a6e9c8166 Mon Sep 17 00:00:00 2001 From: Waldemar Brodkorb Date: Mon, 10 Mar 2014 12:36:04 +0100 Subject: make printk option configurable via menuconfig --- target/linux/config/Config.in.debug | 28 ++++++++++++++++++++++++++++ target/linux/kernel.config | 4 ---- 2 files changed, 28 insertions(+), 4 deletions(-) (limited to 'target') diff --git a/target/linux/config/Config.in.debug b/target/linux/config/Config.in.debug index 6236b329b..46942160f 100644 --- a/target/linux/config/Config.in.debug +++ b/target/linux/config/Config.in.debug @@ -25,6 +25,34 @@ config ADK_QUIET_KERNEL help Make bootup quiet without messages from the kernel. +config ADK_KERNEL_EARLY_PRINTK + boolean + default n + +config ADK_KERNEL_PRINTK + prompt "Enable printk to save space and quieten bootup" + boolean + select ADK_KERNEL_EARLY_PRINTK + default y + help + Disable printk to save space and quieten bootup. + +config ADK_KERNEL_PRINTK_TIME + prompt "Enable timing information for printk" + boolean + depends on ADK_KERNEL_PRINTK + default n + help + Enable timing information for printk, to analyze kernel + bootup performance. + +config ADK_KERNEL_BUG + prompt "Enable BUGS() in the kernel" + boolean + default n + help + Enable if you need BUGS() in the kernel. + config ADK_KERNEL_NETCONSOLE prompt "Netconsole" boolean diff --git a/target/linux/kernel.config b/target/linux/kernel.config index 240ec9bf1..a28c2088b 100644 --- a/target/linux/kernel.config +++ b/target/linux/kernel.config @@ -28,8 +28,6 @@ CONFIG_BINFMT_SCRIPT=y CONFIG_DEVTMPFS=y CONFIG_DEVTMPFS_MOUNT=y CONFIG_STANDALONE=y -CONFIG_PRINTK=y -CONFIG_BUG=n CONFIG_FUTEX=y CONFIG_EPOLL=y CONFIG_SIGNALFD=y @@ -40,5 +38,3 @@ CONFIG_AIO=y CONFIG_PCI_QUIRKS=y CONFIG_TTY=y CONFIG_UNIX98_PTYS=y -CONFIG_PRINTK_TIME=y -CONFIG_EARLY_PRINTK=y -- cgit v1.2.3