Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision d9ffc54b9ab4006fc5c4bddf9d6738ef57935a65)
+++ kernel/generic/src/console/kconsole.c	(revision cfb1217d7123cbca17cad6d3023e7274209f2e89)
@@ -58,5 +58,4 @@
 #include <errno.h>
 #include <putchar.h>
-#include <str.h>
 #include <mm/slab.h>
 
Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision d9ffc54b9ab4006fc5c4bddf9d6738ef57935a65)
+++ kernel/generic/src/debug/symtab.c	(revision cfb1217d7123cbca17cad6d3023e7274209f2e89)
@@ -41,5 +41,4 @@
 #include <print.h>
 #include <typedefs.h>
-#include <typedefs.h>
 #include <errno.h>
 #include <console/prompt.h>
Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision d9ffc54b9ab4006fc5c4bddf9d6738ef57935a65)
+++ kernel/generic/src/printf/vprintf.c	(revision cfb1217d7123cbca17cad6d3023e7274209f2e89)
@@ -38,5 +38,4 @@
 #include <synch/spinlock.h>
 #include <arch/asm.h>
-#include <typedefs.h>
 #include <typedefs.h>
 #include <str.h>
Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision d9ffc54b9ab4006fc5c4bddf9d6738ef57935a65)
+++ kernel/generic/src/proc/scheduler.c	(revision cfb1217d7123cbca17cad6d3023e7274209f2e89)
@@ -66,5 +66,4 @@
 #include <debug.h>
 #include <stacktrace.h>
-#include <cpu.h>
 
 static void scheduler_separated_stack(void);