Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision bd1deed7b64271415d7ecf3951bd917d8093536f)
+++ kernel/arch/ia32/src/mm/page.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
@@ -62,5 +62,5 @@
 		 */
 		for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
-			flags = PAGE_CACHEABLE;
+			flags = PAGE_CACHEABLE | PAGE_WRITE;
 			if ((PA2KA(cur) >= config.base) && (PA2KA(cur) < config.base + config.kernel_size))
 				flags |= PAGE_GLOBAL;
@@ -70,8 +70,6 @@
 		exc_register(14, "page_fault", (iroutine) page_fault);
 		write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
-	}
-	else {
+	} else
 		write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
-	}
 
 	paging_on();
@@ -87,5 +85,5 @@
 	pfn_t i;
 	for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++)
-		page_mapping_insert(AS_KERNEL, virtaddr + PFN2ADDR(i), physaddr + PFN2ADDR(i), PAGE_NOT_CACHEABLE);
+		page_mapping_insert(AS_KERNEL, virtaddr + PFN2ADDR(i), physaddr + PFN2ADDR(i), PAGE_NOT_CACHEABLE | PAGE_WRITE);
 	
 	last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);
@@ -96,10 +94,10 @@
 void page_fault(int n, istate_t *istate)
 {
-        uintptr_t page;
+	uintptr_t page;
 	pf_access_t access;
 	
-        page = read_cr2();
+	page = read_cr2();
 		
-        if (istate->error_word & PFERR_CODE_RSVD)
+	if (istate->error_word & PFERR_CODE_RSVD)
 		panic("Reserved bit set in page directory.\n");
 
@@ -108,12 +106,12 @@
 	else
 		access = PF_ACCESS_READ;
-
-        if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
+	
+	if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
 		fault_if_from_uspace(istate, "Page fault: %#x", page);
-
-                decode_istate(istate);
-                printf("page fault address: %#x\n", page);
-                panic("page fault\n");
-        }
+		
+		decode_istate(istate);
+		printf("page fault address: %#x\n", page);
+		panic("page fault\n");
+	}
 }