Index: kernel/arch/sparc32/src/mm/page.c
===================================================================
--- kernel/arch/sparc32/src/mm/page.c	(revision a3b034b7b291db132fe044e8c59b9a7b6bfd5277)
+++ kernel/arch/sparc32/src/mm/page.c	(revision 382fb4baf834128321f258a0f8461ee068e40f55)
@@ -74,5 +74,5 @@
 	as_switch(NULL, AS_KERNEL);
 
-	printf("as_context_table=0x%08x\n", as_context_table);
+//	printf("as_context_table=0x%08x\n", as_context_table);
 
 	/* Switch MMU to new context table */
@@ -89,5 +89,5 @@
 	mmu_fault_type_t type = (mmu_fault_type_t)fault->at;
 
-	printf("page fault on address 0x%08x, status 0x%08x, type %d\n", fault_address, fault_status, type);
+//	printf("page fault on address 0x%08x, status 0x%08x, type %d\n", fault_address, fault_status, type);
 
 	if (type == FAULT_TYPE_LOAD_USER_DATA ||
@@ -101,5 +101,6 @@
 	if (type == FAULT_TYPE_STORE_USER_DATA ||
 	    type == FAULT_TYPE_STORE_USER_INSTRUCTION ||
-	    type == FAULT_TYPE_STORE_SUPERVISOR_INSTRUCTION)
+	    type == FAULT_TYPE_STORE_SUPERVISOR_INSTRUCTION ||
+	    type == FAULT_TYPE_STORE_SUPERVISOR_DATA)
 		as_page_fault(fault_address, PF_ACCESS_WRITE, istate);
 }