From: Philippe Gerum <[email protected]>
Signed-off-by: Philippe Gerum <[email protected]>
Signed-off-by: Jan Kiszka <[email protected]>
---
scripts/Kconfig.frag | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/Kconfig.frag b/scripts/Kconfig.frag
index 319683369..dd91dc6c9 100644
--- a/scripts/Kconfig.frag
+++ b/scripts/Kconfig.frag
@@ -3,6 +3,7 @@ menuconfig XENOMAI
bool "Xenomai/cobalt"
select IPIPE if HAVE_IPIPE_SUPPORT
select IPIPE_WANT_APIREV_2 if IPIPE
+ select DOVETAIL if HAVE_DOVETAIL
default y
help
Xenomai's Cobalt core is a real-time extension to the Linux
--
2.26.2
