Index: kernel/arch/riscv64/src/mm/page.c
===================================================================
--- kernel/arch/riscv64/src/mm/page.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/riscv64/src/mm/page.c	(revision 2f1c88e88f3d33245f94ca59d2b772d4dd5d1f56)
@@ -86,6 +86,6 @@
 
 	asm volatile (
-		"csrw sptbr, %[satp]\n"
-		:: [satp] "r" (satp)
+	    "csrw sptbr, %[satp]\n"
+	    :: [satp] "r" (satp)
 	);
 }
Index: kernel/arch/riscv64/src/userspace.c
===================================================================
--- kernel/arch/riscv64/src/userspace.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/riscv64/src/userspace.c	(revision 2f1c88e88f3d33245f94ca59d2b772d4dd5d1f56)
@@ -39,5 +39,6 @@
 {
 	// FIXME
-	while (true);
+	while (true)
+		;
 }