--- a/devices/Kbuild.in	Wed Sep 12 21:22:46 2018 +0200
+++ b/devices/Kbuild.in	Wed Sep 12 22:15:18 2018 +0200
@@ -44,6 +44,13 @@
 	CFLAGS_$(EC_GENERIC_OBJ) = -DREV=$(REV)
 endif
 
+ifeq (@ENABLE_RTDMNET@,1)
+	EC_RTDMNET_OBJ := rtdmnet.o
+	obj-m += ec_rtdmnet.o
+	ec_rtdmnet-objs := $(EC_RTDMNET_OBJ)
+	CFLAGS_$(EC_RTDMNET_OBJ) = -DREV=$(REV) -Idrivers/xenomai/net/stack/include
+endif
+
 ifeq (@ENABLE_8139TOO@,1)
 	EC_8139TOO_OBJ := 8139too-@KERNEL_8139TOO@-ethercat.o
 	obj-m += ec_8139too.o