Index: kernel/arch/mips32/include/arch/mm/page.h
===================================================================
--- kernel/arch/mips32/include/arch/mm/page.h	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/arch/mips32/include/arch/mm/page.h	(revision 85147f3ad03728d1b8dd0e5f12b467e858cf3c77)
@@ -196,5 +196,4 @@
 	p->p = 1;
 }
-	
 
 extern void page_arch_init(void);
Index: kernel/generic/include/adt/list.h
===================================================================
--- kernel/generic/include/adt/list.h	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/generic/include/adt/list.h	(revision 85147f3ad03728d1b8dd0e5f12b467e858cf3c77)
@@ -186,4 +186,5 @@
  * @return Head item of the list.
  * @return NULL if the list is empty.
+ *
  */
 static inline link_t *list_first(const list_t *list)
@@ -198,4 +199,5 @@
  * @return Head item of the list.
  * @return NULL if the list is empty.
+ *
  */
 static inline link_t *list_last(list_t *list)
Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/generic/include/config.h	(revision 85147f3ad03728d1b8dd0e5f12b467e858cf3c77)
@@ -94,5 +94,5 @@
 	/** Size of initial stack. */
 	size_t stack_size;
-
+	
 	bool identity_configured;
 	/** Base address of the kernel identity mapped memory. */
@@ -100,7 +100,7 @@
 	/** Size of the kernel identity mapped memory. */
 	size_t identity_size;
-
-	bool non_identity_configured;   
-
+	
+	bool non_identity_configured;
+	
 	/** End of physical memory. */
 	uint64_t physmem_end;