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.