Index: kernel/arch/riscv64/src/mm/frame.c
===================================================================
--- kernel/arch/riscv64/src/mm/frame.c	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/riscv64/src/mm/frame.c	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
@@ -56,5 +56,5 @@
 	pfn_t minconf =
 	    max3(ADDR2PFN(physmem_start), htif_frame + 1, pt_frame + 1);
-	
+
 	for (size_t i = 0; i < memmap.cnt; i++) {
 		/* To be safe, make the available zone possibly smaller */
@@ -63,12 +63,12 @@
 		size_t size = ALIGN_DOWN(memmap.zones[i].size -
 		    (base - ((uintptr_t) memmap.zones[i].start)), FRAME_SIZE);
-		
+
 		if (!frame_adjust_zone_bounds(low, &base, &size))
 			return;
-		
+
 		pfn_t pfn = ADDR2PFN(base);
 		size_t count = SIZE2FRAMES(size);
 		pfn_t conf;
-		
+
 		if (low) {
 			if ((minconf < pfn) || (minconf >= pfn + count))
@@ -76,5 +76,5 @@
 			else
 				conf = minconf;
-			
+
 			zone_create(pfn, count, conf,
 			    ZONE_AVAILABLE | ZONE_LOWMEM);
@@ -91,5 +91,5 @@
 {
 	frame_common_arch_init(true);
-	
+
 	frame_mark_unavailable(htif_frame, 1);
 	frame_mark_unavailable(pt_frame, 1);
Index: kernel/arch/riscv64/src/mm/page.c
===================================================================
--- kernel/arch/riscv64/src/mm/page.c	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/riscv64/src/mm/page.c	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
@@ -53,7 +53,7 @@
 	if (config.cpu_active == 1) {
 		page_mapping_operations = &pt_mapping_operations;
-		
+
 		page_table_lock(AS_KERNEL, true);
-		
+
 		/*
 		 * PA2KA(identity) mapping for all low-memory frames.
@@ -64,11 +64,11 @@
 			page_mapping_insert(AS_KERNEL, PA2KA(cur), cur,
 			    PAGE_GLOBAL | PAGE_CACHEABLE | PAGE_EXEC | PAGE_WRITE | PAGE_READ);
-		
+
 		page_table_unlock(AS_KERNEL, true);
-		
+
 		// FIXME: register page fault extension handler
-		
+
 		write_satp((uintptr_t) AS_KERNEL->genarch.page_table);
-		
+
 		/* The boot page table is no longer needed. */
 		// FIXME: frame_mark_available(pt_frame, 1);
@@ -84,5 +84,5 @@
 	uint64_t satp = ((ptl0 >> FRAME_WIDTH) & SATP_PFN_MASK) |
 	    SATP_MODE_SV48;
-	
+
 	asm volatile (
 		"csrw sptbr, %[satp]\n"