diff --git a/src/kernel/core/sem.c b/src/kernel/core/sem.c
index e12537afb3..f57ee45ca5 100644
--- a/src/kernel/core/sem.c
+++ b/src/kernel/core/sem.c
@@ -21,7 +21,6 @@
 #include <malloc.h>
 #include <thread.h>
 #include <Errors.h>
-#include <kerrors.h>
 
 #include <boot/kernel_args.h>