target/linux/config/Config.in.debug

   1 # This file is part of the OpenADK project. OpenADK is copyrighted
   2 # material, please see the LICENCE file in the top-level directory.
   3
   4 menu "Kernel debugging"
   5
   6 config ADK_KERNEL_FTRACE
   7         bool
   8
   9 config ADK_KERNEL_GENERIC_TRACER
  10         bool
  11
  12 config ADK_KERNEL_FUNCTION_TRACER
  13         bool
  14
  15 config ADK_KERNEL_PROFILING
  16         bool
  17
  18 config ADK_KERNEL_DEBUG_KERNEL
  19         bool
  20
  21 config ADK_KERNEL_DEBUG_INFO
  22         bool
  23
  24 config ADK_KERNEL_KGDB
  25         bool
  26
  27 config ADK_KERNEL_KGDB_SERIAL_CONSOLE
  28         bool
  29
  30 config ADK_KERNEL_FRAME_POINTER
  31         bool
  32
  33 config ADK_KERNEL_EARLY_PRINTK
  34         bool
  35
  36 config ADK_KERNEL_KALLSYMS_ALL
  37         bool
  38
  39 config ADK_KERNEL_PRINTK
  40         bool "printk support (disable to save space and quieten bootup)"
  41         select ADK_KERNEL_EARLY_PRINTK
  42         default y
  43         help
  44           Disable printk to save space and quieten bootup.
  45
  46 config ADK_KERNEL_PRINTK_TIME
  47         bool "timing information for printk"
  48         depends on ADK_KERNEL_PRINTK
  49         default y
  50         help
  51           Enable timing information for printk, to analyze kernel
  52           bootup performance.
  53
  54 config ADK_KERNEL_BUG
  55         bool "Enable BUGS()"
  56         help
  57           Enable if you need BUGS() in the kernel.
  58
  59 config ADK_KERNEL_COREDUMP
  60         bool "Enable coredumps"
  61         help
  62           Enable if you need coredumps.
  63
  64 config ADK_KERNEL_NETCONSOLE
  65         bool "Netconsole support"
  66         help
  67           Activate netconsole. netconsole=@/,@192.168.1.2/
  68
  69 config ADK_PARAMETER_NETCONSOLE_SRC_IP
  70         prompt "IP address for source"
  71         string
  72         default "192.168.1.100"
  73         depends on ADK_KERNEL_NETCONSOLE
  74         help
  75           source ip address logging from.
  76
  77 config ADK_PARAMETER_NETCONSOLE_DST_IP
  78         prompt "IP address for target"
  79         string
  80         default "192.168.1.2"
  81         depends on ADK_KERNEL_NETCONSOLE
  82         help
  83           ip address logging to.
  84
  85 config ADK_KERNEL_MAGIC_SYSRQ
  86         bool "Magic BREAK sequence"
  87         default y
  88         help
  89           Enable this to be able to use the Magic SysRq functions,
  90           probably using a serial console break.
  91
  92 config ADK_KERNEL_DEBUG_FS
  93         bool "Debug Filesystem"
  94         default n
  95         help
  96           debugfs is a virtual file system that kernel developers use to put
  97           debugging files into.  Enable this option to be able to read and
  98           write to these files.
  99
 100 config ADK_KERNEL_DEBUG_INFO
 101         bool "Debug info"
 102
 103 config ADK_KERNEL_DEBUG_WITH_KGDB
 104         bool "Enable remote kernel debugging using KGDB"
 105         select ADK_KERNEL_DEBUG_KERNEL
 106         select ADK_KERNEL_DEBUG_INFO
 107         select ADK_KERNEL_KGDB
 108         select ADK_KERNEL_KGDB_SERIAL_CONSOLE
 109         select ADK_KERNEL_FRAME_POINTER
 110         depends on ADK_TARGET_ROOTFS_NFSROOT || \
 111                 ADK_TARGET_ROOTFS_ARCHIVE || \
 112                 ADK_TARGET_ROOTFS_INITRAMFS || \
 113                 ADK_TARGET_ROOTFS_INITRAMFS_PIGGYBACK
 114         default n
 115
 116 config ADK_KERNEL_OPROFILE
 117         tristate "Oprofile support"
 118         select ADK_KERNEL_PROFILING
 119         depends on !ADK_TARGET_ARCH_M68K
 120         default n
 121         help
 122           use oprofile package to make use of the kernel support.
 123
 124 config ADK_KERNEL_KALLSYMS
 125         bool "Support for symbol names in OOPS"
 126         select ADK_KERNEL_KALLSYMS_ALL
 127         default n
 128         help
 129           Load all symbols to the kernel.
 130
 131 endmenu