diff --git a/core/kernel_init.c b/core/kernel_init.c
index 2516f72e117fffec825cb3706d318f264f5c983b..7d4f3ebc353411434420b972c276244ea3b23bb4 100644
--- a/core/kernel_init.c
+++ b/core/kernel_init.c
@@ -23,7 +23,6 @@
 #include <stdbool.h>
 #include <errno.h>
 #include "kernel_init.h"
-#include "sched.h"
 #include "thread.h"
 #include "irq.h"
 #include "log.h"
diff --git a/core/msg.c b/core/msg.c
index 190244cca8d9121181205a200fd8009e78ab996d..5890c94540c3cfd6a9e7ddf936eec1f17b19ed7d 100644
--- a/core/msg.c
+++ b/core/msg.c
@@ -32,7 +32,6 @@
 
 #define ENABLE_DEBUG    (0)
 #include "debug.h"
-#include "thread.h"
 
 static int _msg_receive(msg_t *m, int block);
 static int _msg_send(msg_t *m, kernel_pid_t target_pid, bool block, unsigned state);
diff --git a/core/mutex.c b/core/mutex.c
index a9d9bf7498395e2cb9fb4b2485f5c25502e35a3e..e75c5882f551c22889f26340f0037c4be91123a7 100644
--- a/core/mutex.c
+++ b/core/mutex.c
@@ -26,9 +26,7 @@
 #include "mutex.h"
 #include "thread.h"
 #include "sched.h"
-#include "thread.h"
 #include "irq.h"
-#include "thread.h"
 #include "list.h"
 
 #define ENABLE_DEBUG    (0)