Module: xenomai-3
Branch: next
Commit: 1baf594b9f68b6fbf6e2980e86b575185467a89b
URL:
http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=1baf594b9f68b6fbf6e2980e86b575185467a89b
Author: Philippe Gerum <r...@xenomai.org>
Date: Wed Mar 25 15:17:24 2015 +0100
cobalt/kernel: pair debug options with pipeline debug features
---
kernel/cobalt/Kconfig | 3 +++
1 file changed, 3 insertions(+)
diff --git a/kernel/cobalt/Kconfig b/kernel/cobalt/Kconfig
index 9c754f5..2ebc7a2 100644
--- a/kernel/cobalt/Kconfig
+++ b/kernel/cobalt/Kconfig
@@ -392,6 +392,7 @@ if XENO_OPT_DEBUG
config XENO_OPT_DEBUG_COBALT
bool "Cobalt runtime assertions"
+ select IPIPE_DEBUG_CONTEXT
help
This option activates various assertions inside the Cobalt
@@ -399,6 +400,7 @@ config XENO_OPT_DEBUG_COBALT
config XENO_OPT_DEBUG_CONTEXT
bool "Check for calling context"
+ select IPIPE_DEBUG_CONTEXT
help
This option enables checks for the calling context in the
@@ -407,6 +409,7 @@ config XENO_OPT_DEBUG_CONTEXT
config XENO_OPT_DEBUG_LOCKING
bool "Spinlock debugging support"
+ select IPIPE_DEBUG_INTERNAL
default y if SMP
help
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git
