From 26baeb1eaaf82a59bc5614fadb73f8d06f202fd5 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 30 Dec 2015 11:02:08 +0100
Subject: [PATCH] we use a single address space => no update of CR3 is required

---
 hermit/arch/x86/kernel/tasks.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/hermit/arch/x86/kernel/tasks.c b/hermit/arch/x86/kernel/tasks.c
index 8e7775a0d..0d00adb5d 100644
--- a/hermit/arch/x86/kernel/tasks.c
+++ b/hermit/arch/x86/kernel/tasks.c
@@ -128,9 +128,11 @@ size_t* get_current_stack(void)
 	set_per_core(kernel_stack, stptr);
 	tss_set_rsp0(stptr);
 
+#if 0
 	// do we change the address space?
 	if (read_cr3() != curr_task->page_map)
 		write_cr3(curr_task->page_map); // use new page table
+#endif
 
 	return curr_task->last_stack_pointer;
 }