diff --git a/net/ip/contiki/os/sys/clock.h b/net/ip/contiki/os/sys/clock.h
index 543b3ba56a7..1c4830632a3 100644
--- a/net/ip/contiki/os/sys/clock.h
+++ b/net/ip/contiki/os/sys/clock.h
@@ -72,7 +72,7 @@
 #include "contiki-conf.h"
 
 #ifdef CONFIG_MICROKERNEL
-#include <zephyr.h>
+#include <microkernel.h>
 #else
 #include <nanokernel.h>
 #endif
diff --git a/net/ip/contiki/os/sys/timer.h b/net/ip/contiki/os/sys/timer.h
index 5dc34022025..1f496af186d 100644
--- a/net/ip/contiki/os/sys/timer.h
+++ b/net/ip/contiki/os/sys/timer.h
@@ -74,7 +74,7 @@
 #define TIMER_H_
 
 #ifdef CONFIG_MICROKERNEL
-#include <zephyr.h>
+#include <microkernel.h>
 #else
 #include <nanokernel.h>
 #endif