From 03cf4a4f940fc3268e1ce55ecf255f67adf155cc Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 27 Dec 2014 23:21:49 +0100
Subject: [PATCH] fix wrong page attributes

---
 arch/x86/mm/page.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/arch/x86/mm/page.c b/arch/x86/mm/page.c
index 60c350d..0e45246 100644
--- a/arch/x86/mm/page.c
+++ b/arch/x86/mm/page.c
@@ -260,7 +260,7 @@ int page_init()
 	/* Map kernel */
 	addr = (size_t) &kernel_start;
 	npages = PAGE_FLOOR((size_t) &kernel_end - (size_t) &kernel_start) >> PAGE_BITS;
-	page_map(addr, addr, npages, PG_RW | /* PG_USER | */ PG_GLOBAL);
+	page_map(addr, addr, npages, PG_RW | PG_GLOBAL);
 
 #ifdef CONFIG_VGA
 	/* Map video memory */
@@ -282,7 +282,7 @@ int page_init()
 			for(i=0; i<mb_info->mods_count; i++) {
 				addr = mmodule[i].mod_start;
 				npages = PAGE_FLOOR(mmodule[i].mod_end - mmodule[i].mod_start) >> PAGE_BITS;
-				page_map(addr, addr, npages, PG_USER | PG_GLOBAL);
+				page_map(addr, addr, npages, PG_GLOBAL);
 			}
 		}
 	}