From 15d0e865920ecd486226148d0afd739e93e5073a Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Wed, 11 Feb 2015 16:37:47 +0100
Subject: [PATCH] hw_x86_64: Load Global Descriptor Table register

---
 repos/base-hw/src/core/spec/x86_64/kernel/crt0.s | 3 +++
 1 file changed, 3 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 8481cb9f8..1020f23f4 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
@@ -54,6 +54,9 @@
 	btsl $31, %eax
 	movl %eax, %cr0
 
+	/* Set up GDT */
+	lgdt _gdt_ptr
+
 	/*
 	 * Install initial temporary environment that is replaced later by the
 	 * environment that init_main_thread creates.