diff options
| author | Nathan Rossi <nathan.rossi@xilinx.com> | 2015-04-13 16:28:13 +1000 |
|---|---|---|
| committer | Nathan Rossi <nathan.rossi@xilinx.com> | 2015-04-14 14:00:46 +1000 |
| commit | a4c70d3778349a216e6d0a3de6d371944d06d05f (patch) | |
| tree | 4931afe40e80316a2f0d8a42b934bf4addd31168 | |
| parent | b43630ac75fe2cb9453c534ac5b4868b4ec96ca0 (diff) | |
| download | meta-xilinx-a4c70d3778349a216e6d0a3de6d371944d06d05f.tar.gz | |
linux/configs: Add config fragment for debugging and verification
* This fragment should not be used for production or general use and is
intended only for debugging and verification purposes
Signed-off-by: Nathan Rossi <nathan.rossi@xilinx.com>
| -rw-r--r-- | recipes-kernel/linux/config/xilinx-common/features/debug/debug.cfg | 20 | ||||
| -rw-r--r-- | recipes-kernel/linux/config/xilinx-common/features/debug/debug.scc | 4 |
2 files changed, 24 insertions, 0 deletions
diff --git a/recipes-kernel/linux/config/xilinx-common/features/debug/debug.cfg b/recipes-kernel/linux/config/xilinx-common/features/debug/debug.cfg new file mode 100644 index 00000000..e4727976 --- /dev/null +++ b/recipes-kernel/linux/config/xilinx-common/features/debug/debug.cfg | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | # This config fragment is for verification and debug purposes | ||
| 2 | |||
| 3 | CONFIG_DEBUG_INFO=y | ||
| 4 | |||
| 5 | CONFIG_DEBUG_SPINLOCK=y | ||
| 6 | CONFIG_DEBUG_RT_MUTEXES=y | ||
| 7 | CONFIG_DEBUG_MUTEXES=y | ||
| 8 | CONFIG_DEBUG_WW_MUTEX_SLOWPATH=y | ||
| 9 | CONFIG_PROVE_LOCKING=y | ||
| 10 | CONFIG_DEBUG_LOCKDEP=y | ||
| 11 | CONFIG_DEBUG_LOCKING_API_SELFTESTS=y | ||
| 12 | # CONFIG_LOCK_TORTURE_TEST not test | ||
| 13 | |||
| 14 | CONFIG_PROVE_RCU=y | ||
| 15 | CONFIG_PROVE_RCU_REPEATEDLY=y | ||
| 16 | CONFIG_SPARSE_RCU_POINTER=y | ||
| 17 | # /proc/sys/kernel/rcutorture_runnable | ||
| 18 | # CONFIG_RCU_TORTURE_TEST not set | ||
| 19 | CONFIG_RCU_CPU_STALL_INFO=y | ||
| 20 | |||
diff --git a/recipes-kernel/linux/config/xilinx-common/features/debug/debug.scc b/recipes-kernel/linux/config/xilinx-common/features/debug/debug.scc new file mode 100644 index 00000000..2a09b4f2 --- /dev/null +++ b/recipes-kernel/linux/config/xilinx-common/features/debug/debug.scc | |||
| @@ -0,0 +1,4 @@ | |||
| 1 | define KFEATURE_DESCRIPTION "Debugging Setup" | ||
| 2 | define KFEATURE_COMPATIBILITY board | ||
| 3 | |||
| 4 | kconfig hardware debug.cfg | ||
