From a48e28f88fb5438021f750003082c7559c7fc51c Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Fri, 28 Aug 2015 07:56:56 +0200 Subject: [PATCH] set present bit in the PML4 entries --- hermit/arch/x86/mm/page.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/hermit/arch/x86/mm/page.c b/hermit/arch/x86/mm/page.c index d9f5fcf11..ccd427517 100644 --- a/hermit/arch/x86/mm/page.c +++ b/hermit/arch/x86/mm/page.c @@ -265,6 +265,9 @@ int page_map_copy(task_t *dest) return 0; } + // set present bit + dest->page_map |= PG_PRESENT; + spinlock_irqsave_lock(&curr_task->page_lock); self[PAGE_LEVELS-1][PAGE_MAP_ENTRIES-2] = dest->page_map | PG_PRESENT | PG_SELF | PG_RW;