1 files changed, 14 insertions, 0 deletions
diff --git a/libddekit/include/dde.h b/libddekit/include/dde.h
new file mode 100644
index 00000000..12f8a81a
--- /dev/null
+++ b/libddekit/include/dde.h
@@ -0,0 +1,14 @@
+#ifndef l4_ddekit_h
+#define l4_ddekit_h
+
+/* FIXME if this is ddekit.h, it should be moved into dde/ddekit/include/ddekit.h (also
+ * all headers under include/ddekit) */
+
+/**
+ * Initialize the DDE. Must be called before any other DDE function.
+ *
+ * FIXME revisit this one
+ */
+void ddekit_init(void);
+
+#endif