1 files changed, 8 insertions, 0 deletions
diff --git a/libmachdevdde/ds_pre_server.c b/libmachdevdde/ds_pre_server.c
new file mode 100644
index 00000000..cdf190b6
--- /dev/null
+++ b/libmachdevdde/ds_pre_server.c
@@ -0,0 +1,8 @@
+#include "libmachdev/machdev.h"
+
+void ds_pre_server(void)
+{
+  /* This thread calls Linux functions,
+   * so I need to make it known to the Linux environment. */
+  l4dde26_process_from_ddekit (ddekit_thread_myself ());
+}