From 0f624cdde7bd47335d656c126872047ece6068ce Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Wed, 11 Feb 2015 16:38:51 +0100
Subject: [PATCH] hw_x86_64: Perform indirect long jump to 64-bit code

---
 repos/base-hw/src/core/spec/x86_64/kernel/crt0.s | 6 ++++++
 1 file changed, 6 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 1020f23f4..dfc7d1a6d 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
@@ -57,6 +57,12 @@
 	/* Set up GDT */
 	lgdt _gdt_ptr
 
+	/* Indirect long jump to 64-bit code */
+	ljmp $8, $_start64
+
+.code64
+	_start64: .p2align MIN_PAGE_SIZE_LOG2
+
 	/*
 	 * Install initial temporary environment that is replaced later by the
 	 * environment that init_main_thread creates.