From 9290f1fe99c91ba6c57dec956ff73d1741d81b45 Mon Sep 17 00:00:00 2001
From: Zheng Da <zhengda1936@gmail.com>
Date: Tue, 17 Nov 2009 10:29:23 +0100
Subject: Add DDEKit headers.

---
 libddekit/include/dde.h | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 libddekit/include/dde.h

(limited to 'libddekit/include/dde.h')

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
-- 
cgit v1.2.3