From 40804526a58ddf2cc0df0750550c8dcfa7b7c57c Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 15 Dec 2025 11:34:30 +0100
Subject: x86_64/boot: use high-mem address of MBI

---
 arch/x86_64/src/boot/entry64.s | 1 +
 1 file changed, 1 insertion(+)

(limited to 'arch/x86_64/src/boot')

diff --git a/arch/x86_64/src/boot/entry64.s b/arch/x86_64/src/boot/entry64.s
index 2932354..657b0a8 100644
--- a/arch/x86_64/src/boot/entry64.s
+++ b/arch/x86_64/src/boot/entry64.s
@@ -33,6 +33,7 @@ _entry64:
     mov %rsp, %rbp
 
     mov multiboot_information_pointer, %rax
+    or $TEACHOS_VMA, %rax
     mov vga_buffer_pointer, %rdx
     sub $0xb8000, %rdx
     mov %rax, (bootstrap_information)
-- 
cgit v1.2.3