Index: kernel/arch/riscv64/src/boot/boot.S
===================================================================
--- kernel/arch/riscv64/src/boot/boot.S	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/riscv64/src/boot/boot.S	(revision 8565a42398543d14e36b2df6f7a70c6237b458f8)
@@ -36,14 +36,14 @@
 	/* Setup temporary stack */
 	la sp, temp_stack
-	
+
 	/* Create the first stack frame */
 	addi sp, sp, -16
-	
+
 	/* Call riscv64_pre_main() */
 	jal riscv64_pre_main
-	
+
 	/* Call main_bsp() */
 	jal main_bsp
-	
+
 	/* Not reached */
 	csrci sstatus, SSTATUS_SIE_MASK
Index: kernel/arch/riscv64/src/context.S
===================================================================
--- kernel/arch/riscv64/src/context.S	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/riscv64/src/context.S	(revision 8565a42398543d14e36b2df6f7a70c6237b458f8)
@@ -47,8 +47,8 @@
 	sd s10, CONTEXT_OFFSET_S10(a0)
 	sd s11, CONTEXT_OFFSET_S11(a0)
-	
+
 	sd ra, CONTEXT_OFFSET_PC(a0)
 	sd sp, CONTEXT_OFFSET_SP(a0)
-	
+
 	# context_save returns 1
 	li a0, 1
@@ -71,8 +71,8 @@
 	ld s10, CONTEXT_OFFSET_S10(a0)
 	ld s11, CONTEXT_OFFSET_S11(a0)
-	
+
 	ld ra, CONTEXT_OFFSET_PC(a0)
 	ld sp, CONTEXT_OFFSET_SP(a0)
-	
+
 	# context_restore returns 0
 	li a0, 0
Index: kernel/arch/riscv64/src/drivers/ucb.c
===================================================================
--- kernel/arch/riscv64/src/drivers/ucb.c	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/riscv64/src/drivers/ucb.c	(revision 8565a42398543d14e36b2df6f7a70c6237b458f8)
@@ -53,5 +53,5 @@
 	if (!val)
 		return;
-	
+
 	*fromhost = 0;
 }
@@ -68,5 +68,5 @@
 	if (!htifdev)
 		return NULL;
-	
+
 	outdev_initialize("htifdev", htifdev, &htifdev_ops);
 	return htifdev;
@@ -78,8 +78,8 @@
 	    (((uint64_t) cmd) << 48) |
 	    (payload & UINT64_C(0xffffffffffff));
-	
+
 	while (*tohost)
 		poll_fromhost();
-	
+
 	*tohost = val;
 }
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 8565a42398543d14e36b2df6f7a70c6237b458f8)
@@ -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 8565a42398543d14e36b2df6f7a70c6237b458f8)
@@ -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"
Index: kernel/arch/riscv64/src/riscv64.c
===================================================================
--- kernel/arch/riscv64/src/riscv64.c	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/riscv64/src/riscv64.c	(revision 8565a42398543d14e36b2df6f7a70c6237b458f8)
@@ -69,11 +69,11 @@
 	htif_frame = bootinfo->htif_frame;
 	pt_frame = bootinfo->pt_frame;
-	
+
 	htif_init(bootinfo->ucbinfo.tohost, bootinfo->ucbinfo.fromhost);
-	
+
 	/* Copy tasks map. */
 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS,
 	    CONFIG_INIT_TASKS);
-	
+
 	for (size_t i = 0; i < init.cnt; i++) {
 		init.tasks[i].paddr = KA2PA(bootinfo->taskmap.tasks[i].addr);
@@ -82,5 +82,5 @@
 		    bootinfo->taskmap.tasks[i].name);
 	}
-	
+
 	/* Copy physical memory map. */
 	memmap.total = bootinfo->memmap.total;