diff --git a/include/microkernel.h b/include/microkernel.h
index b2407c063ce..6f533ccfed3 100644
--- a/include/microkernel.h
+++ b/include/microkernel.h
@@ -79,9 +79,6 @@ extern void init_drivers(void); /* generated function */
 extern const knode_t K_ThisNode;
 extern int K_StackSize;
 
-extern kmbox_t hostrxmbx;
-extern kmbox_t hosttxmbx;
-extern kmemory_pool_t hostrxpool;
 extern ktask_t ppdrv;
 
 extern int K_NodeCount;