Update

[l4.git] / l4 / pkg / l4re-core / l4sys / include / memdesc.h

diff --git a/l4/pkg/l4sys/include/memdesc.h b/l4/pkg/l4re-core/l4sys/include/memdesc.h
similarity index 99%
rename from l4/pkg/l4sys/include/memdesc.h
rename to l4/pkg/l4re-core/l4sys/include/memdesc.h
index 6d5256cbb6a2050538b47965fe6c2a37c1a0645b..01027dc7b29fd1acb05361521ae6c4daa2d65653 100644 (file)
--- a/l4/pkg/l4sys/include/memdesc.h
+++ b/l4/pkg/l4re-core/l4sys/include/memdesc.h
@@ -24,7 +24,7 @@
 #ifndef __L4SYS__MEMDESC_H__
 #define __L4SYS__MEMDESC_H__
 
-#include <l4/sys/kernel.h>
+#include <l4/sys/kip.h>
 
 /**
  * \defgroup l4_kip_memdesc_api Memory descriptors (C version)