From 9bb871a0bb4c239239944d28bd4d5cfa19d84f62 Mon Sep 17 00:00:00 2001 From: Waldemar Brodkorb Date: Sat, 3 Mar 2018 15:46:47 +0100 Subject: add support for waldux --- target/waldux/config/Config.in.debug | 135 +++++++++++++++++++++++++++++++++++ 1 file changed, 135 insertions(+) create mode 100644 target/waldux/config/Config.in.debug (limited to 'target/waldux/config/Config.in.debug') diff --git a/target/waldux/config/Config.in.debug b/target/waldux/config/Config.in.debug new file mode 100644 index 000000000..e0e360dcf --- /dev/null +++ b/target/waldux/config/Config.in.debug @@ -0,0 +1,135 @@ +# This file is part of the OpenADK project. OpenADK is copyrighted +# material, please see the LICENCE file in the top-level directory. + +menu "Kernel debugging" + +config ADK_WALDUX_KERNEL_FTRACE + bool + +config ADK_WALDUX_KERNEL_GENERIC_TRACER + bool + +config ADK_WALDUX_KERNEL_FUNCTION_TRACER + bool + +config ADK_WALDUX_KERNEL_PROFILING + bool + +config ADK_WALDUX_KERNEL_DEBUG_KERNEL + bool + +config ADK_WALDUX_KERNEL_DEBUG_INFO + bool + +config ADK_WALDUX_KERNEL_KGDB + bool + +config ADK_WALDUX_KERNEL_KGDB_SERIAL_CONSOLE + bool + +config ADK_WALDUX_KERNEL_FRAME_POINTER + bool + +config ADK_WALDUX_KERNEL_EARLY_PRINTK + bool + +config ADK_WALDUX_KERNEL_KALLSYMS_ALL + bool + +config ADK_WALDUX_KERNEL_PRINTK + bool "printk support (disable to save space and quieten bootup)" + select ADK_WALDUX_KERNEL_EARLY_PRINTK + default y + help + Disable printk to save space and quieten bootup. + +config ADK_WALDUX_KERNEL_PRINTK_TIME + bool "timing information for printk" + depends on ADK_WALDUX_KERNEL_PRINTK + default y + help + Enable timing information for printk, to analyze kernel + bootup performance. + +config ADK_WALDUX_KERNEL_BUG + bool "Enable BUGS()" + help + Enable if you need BUGS() in the kernel. + +config ADK_WALDUX_KERNEL_ELF_CORE + bool + +config ADK_WALDUX_KERNEL_COREDUMP + bool "Enable coredumps" + select ADK_WALDUX_KERNEL_ELF_CORE + help + Enable if you need coredumps. + +config ADK_WALDUX_KERNEL_NETCONSOLE + bool "Netconsole support" + help + Activate netconsole. netconsole=@/,@192.168.1.2/ + +config ADK_PARAMETER_NETCONSOLE_SRC_IP + prompt "IP address for source" + string + default "192.168.1.100" + depends on ADK_WALDUX_KERNEL_NETCONSOLE + help + source ip address logging from. + +config ADK_PARAMETER_NETCONSOLE_DST_IP + prompt "IP address for target" + string + default "192.168.1.2" + depends on ADK_WALDUX_KERNEL_NETCONSOLE + help + ip address logging to. + +config ADK_WALDUX_KERNEL_MAGIC_SYSRQ + bool "Magic BREAK sequence" + default y + help + Enable this to be able to use the Magic SysRq functions, + probably using a serial console break. + +config ADK_WALDUX_KERNEL_DEBUG_FS + bool "Debug Filesystem" + default n + help + debugfs is a virtual file system that kernel developers use to put + debugging files into. Enable this option to be able to read and + write to these files. + +config ADK_WALDUX_KERNEL_DEBUG_INFO + bool "Debug info" + +config ADK_WALDUX_KERNEL_DEBUG_WITH_KGDB + bool "Enable remote kernel debugging using KGDB" + select ADK_WALDUX_KERNEL_DEBUG_KERNEL + select ADK_WALDUX_KERNEL_DEBUG_INFO + select ADK_WALDUX_KERNEL_KGDB + select ADK_WALDUX_KERNEL_KGDB_SERIAL_CONSOLE + select ADK_WALDUX_KERNEL_FRAME_POINTER + depends on ADK_TARGET_ROOTFS_NFSROOT || \ + ADK_TARGET_ROOTFS_ARCHIVE || \ + ADK_TARGET_ROOTFS_INITRAMFS || \ + ADK_TARGET_ROOTFS_INITRAMFS_PIGGYBACK + default n + +config ADK_WALDUX_KERNEL_OPROFILE + tristate "Oprofile support" + select ADK_WALDUX_KERNEL_PROFILING + depends on !ADK_TARGET_ARCH_M68K + default n + help + use oprofile package to make use of the kernel support. + +config ADK_WALDUX_KERNEL_KALLSYMS + bool "Support for symbol names in OOPS" + select ADK_WALDUX_KERNEL_KALLSYMS_ALL + default n + help + Load all symbols to the kernel. + +endmenu -- cgit v1.2.3