Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/mips32/src/mips32.c	(revision 7c682dd18cb1e1cac93f7e180e1fc41df32f824c)
@@ -57,5 +57,5 @@
 #include <macros.h>
 #include <config.h>
-#include <string.h>
+#include <str.h>
 #include <arch/drivers/msim.h>
 #include <arch/asm/regname.h>