Index: arch/mips32/src/drivers/arc.c
===================================================================
--- arch/mips32/src/drivers/arc.c	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ arch/mips32/src/drivers/arc.c	(revision 961b5f01ab0baf25db1ae2fde08e1dd39e0e62bc)
@@ -189,4 +189,6 @@
 	arc_putchar('C');
 	arc_putchar('\n');
+
+	return 0;
 }
 
@@ -287,5 +289,4 @@
 	__address base;
 	size_t basesize;
-	unsigned int i,j;
 
 	desc = arc_entry->getmemorydescriptor(NULL);
Index: arch/mips32/src/drivers/serial.c
===================================================================
--- arch/mips32/src/drivers/serial.c	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ arch/mips32/src/drivers/serial.c	(revision 961b5f01ab0baf25db1ae2fde08e1dd39e0e62bc)
@@ -39,5 +39,4 @@
 static void serial_write(chardev_t *d, const char ch)
 {
-	int i;
 	serial_t *sd = (serial_t *)d->data;