By default, nodbg config fragment would be applied.
Signed-off-by: Hongzhan Chen <[email protected]>
---
recipes-kernel/linux/linux-xenomai.inc | 2 ++
1 file changed, 2 insertions(+)
diff --git a/recipes-kernel/linux/linux-xenomai.inc
b/recipes-kernel/linux/linux-xenomai.inc
index 185b60b..1852bf6 100644
--- a/recipes-kernel/linux/linux-xenomai.inc
+++ b/recipes-kernel/linux/linux-xenomai.inc
@@ -12,8 +12,10 @@
require recipes-kernel/linux/linux-custom.inc
KERNEL_DEFCONFIG ?= "${DISTRO_ARCH}_defconfig"
+XENOMAI_DEBUG ?= "0"
SRC_URI += "file://${KERNEL_DEFCONFIG}"
+SRC_URI += "${@'file://common_nodbg.cfg' if d.getVar('XENOMAI_DEBUG') == '0'
else ''}"
DEPENDS += "xenomai-kernel-source"
KBUILD_DEPENDS += "xenomai-kernel-source"
--
2.17.1