diff --git a/src/kernel/core/sysctl.c b/src/kernel/core/sysctl.c
index a44ce13c14..56a544a8fe 100644
--- a/src/kernel/core/sysctl.c
+++ b/src/kernel/core/sysctl.c
@@ -2,7 +2,6 @@
 //	It is not part of the POSIX spec.
 
 #include <kernel.h>
-#include <ktypes.h>
 #include <string.h>
 #include <errno.h>
 #include <vm.h>