diff options
Diffstat (limited to 'target')
| -rw-r--r-- | target/linux/config/Config.in.debug | 28 | ||||
| -rw-r--r-- | target/linux/kernel.config | 4 |
2 files changed, 28 insertions, 4 deletions
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 |