Changes in kernel/arch/abs32le/src/abs32le.c [36df4109:44a7ee5] in mainline

File:

• kernel/arch/abs32le/src/abs32le.c (modified) (1 diff)

kernel/arch/abs32le/src/abs32le.c

@@ -40 +40 @@
 #include <func.h>
 #include <config.h>
+#include <console/console.h>
 #include <errno.h>
 #include <context.h>
 #include <fpu_context.h>
 #include <interrupt.h>
+#include <ddi/irq.h>
 #include <syscall/copy.h>
-#include <ddi/irq.h>
-#include <proc/thread.h>
 #include <syscall/syscall.h>
-#include <console/console.h>
-#include <memstr.h>
 
 static void abs32le_post_mm_init(void);