From d23cd7e5ffba550428108a442bcef9f3e845c9f0 Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Wed, 11 Feb 2015 15:45:11 +0100
Subject: [PATCH] hw_x86_64: Load initial pagetable address into cr3

---
 repos/base-hw/src/core/spec/x86_64/kernel/crt0.s | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s b/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s
index e96176fe6..cfefe4e19 100644
--- a/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s
+++ b/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s
@@ -34,6 +34,10 @@
 	btsl $5, %eax
 	movl %eax, %cr4
 
+	/* Load initial pagetables */
+	leal _kernel_pml4, %eax
+	mov %eax, %cr3
+
 	/*
 	 * Install initial temporary environment that is replaced later by the
 	 * environment that init_main_thread creates.