correct the path of header files.

9 files changed, 8 insertions, 28 deletions

diff --git a/libdde_linux26/lib/src/arch/l4/irq.c b/libdde_linux26/lib/src/arch/l4/irq.c
index 0e565e54..9594b05c 100644
--- a/libdde_linux26/lib/src/arch/l4/irq.c
+++ b/libdde_linux26/lib/src/arch/l4/irq.c
@@ -12,10 +12,6 @@
 #include <linux/interrupt.h>
 #include <linux/string.h>     /* memset() */
 
-/* DDEKit */
-#include <l4/dde/ddekit/interrupt.h>
-#include <l4/dde/ddekit/memory.h>
-
 /* local */
 #include "dde26.h"
 #include "local.h"
diff --git a/libdde_linux26/lib/src/arch/l4/kmalloc.c b/libdde_linux26/lib/src/arch/l4/kmalloc.c
index 065c13c7..87d64878 100644
--- a/libdde_linux26/lib/src/arch/l4/kmalloc.c
+++ b/libdde_linux26/lib/src/arch/l4/kmalloc.c
@@ -20,11 +20,9 @@
 #include <linux/mm.h>
 #include <asm/io.h>
 
-/* DDEKit */
-#include <l4/dde/ddekit/debug.h>
-#include <l4/dde/ddekit/memory.h>
+#include "local.h"
 
-#include <l4/dde/linux26/dde26.h>
+#include <dde26.h>
 
 /* dummy */
 int forbid_dac;
diff --git a/libdde_linux26/lib/src/arch/l4/kmem_cache.c b/libdde_linux26/lib/src/arch/l4/kmem_cache.c
index 1465ac6c..5e44c140 100644
--- a/libdde_linux26/lib/src/arch/l4/kmem_cache.c
+++ b/libdde_linux26/lib/src/arch/l4/kmem_cache.c
@@ -14,9 +14,7 @@
 /* Linux */
 #include <linux/slab.h>
 
-/* DDEKit */
-#include <l4/dde/ddekit/memory.h>
-#include <l4/dde/ddekit/lock.h>
+#include "local.h"
 
 
 /*******************
diff --git a/libdde_linux26/lib/src/arch/l4/mm-helper.c b/libdde_linux26/lib/src/arch/l4/mm-helper.c
index 68c0213b..cc4cc1d1 100644
--- a/libdde_linux26/lib/src/arch/l4/mm-helper.c
+++ b/libdde_linux26/lib/src/arch/l4/mm-helper.c
@@ -3,11 +3,6 @@
 #include <linux/string.h>
 #include <asm/page.h>
 
-/* DDEKit */
-#include <l4/dde/ddekit/memory.h>
-#include <l4/dde/ddekit/assert.h>
-#include <l4/dde/ddekit/panic.h>
-
 #include "local.h"
 
 int ioprio_best(unsigned short aprio, unsigned short bprio)
diff --git a/libdde_linux26/lib/src/arch/l4/net.c b/libdde_linux26/lib/src/arch/l4/net.c
index d6637d96..6e799119 100644
--- a/libdde_linux26/lib/src/arch/l4/net.c
+++ b/libdde_linux26/lib/src/arch/l4/net.c
@@ -8,7 +8,7 @@
  * GNU General Public License 2. Please see the COPYING file for details.     *
  ******************************************************************************/
 
-#include <l4/dde/linux26/dde26_net.h>
+#include <dde26_net.h>
 
 #include <linux/kernel.h>
 #include <linux/skbuff.h>
diff --git a/libdde_linux26/lib/src/arch/l4/page_alloc.c b/libdde_linux26/lib/src/arch/l4/page_alloc.c
index 0a2e3fdf..e887bd51 100644
--- a/libdde_linux26/lib/src/arch/l4/page_alloc.c
+++ b/libdde_linux26/lib/src/arch/l4/page_alloc.c
@@ -25,11 +25,6 @@
 #include <linux/mm.h>
 #include <asm/page.h>
 
-/* DDEKit */
-#include <l4/dde/ddekit/memory.h>
-#include <l4/dde/ddekit/assert.h>
-#include <l4/dde/ddekit/panic.h>
-
 #include "local.h"
 
 unsigned long max_low_pfn;
diff --git a/libdde_linux26/lib/src/arch/l4/process.c b/libdde_linux26/lib/src/arch/l4/process.c
index 5fe43b32..b5189cd4 100644
--- a/libdde_linux26/lib/src/arch/l4/process.c
+++ b/libdde_linux26/lib/src/arch/l4/process.c
@@ -1,5 +1,5 @@
-#include <l4/dde/dde.h>
-#include <l4/dde/linux26/dde26.h>
+#include <dde.h>
+#include <dde26.h>
 
 #include <asm/atomic.h>
 
diff --git a/libdde_linux26/lib/src/arch/l4/vmalloc.c b/libdde_linux26/lib/src/arch/l4/vmalloc.c
index 134b80c3..4fa063f0 100644
--- a/libdde_linux26/lib/src/arch/l4/vmalloc.c
+++ b/libdde_linux26/lib/src/arch/l4/vmalloc.c
@@ -15,9 +15,7 @@
 /* Linux */
 #include <linux/vmalloc.h>
 
-/* DDEKit */
-#include <l4/dde/ddekit/memory.h>
-#include <l4/dde/ddekit/lock.h>
+#include "local.h"
 
 void *vmalloc(unsigned long size)
 {
diff --git a/libdde_linux26/lib/src/net/core/dev.c b/libdde_linux26/lib/src/net/core/dev.c
index 22fdf4d7..1e9247c2 100644
--- a/libdde_linux26/lib/src/net/core/dev.c
+++ b/libdde_linux26/lib/src/net/core/dev.c
@@ -74,7 +74,7 @@
 
 #ifdef DDE_LINUX
 #include "local.h"
-#include <l4/dde/linux26/dde26_net.h>
+#include <dde26_net.h>
 #endif
 
 #include <asm/uaccess.h>