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

---
 kapi/include/kapi/boot.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kapi')

diff --git a/kapi/include/kapi/boot.hpp b/kapi/include/kapi/boot.hpp
index dd99198..9c344cf 100644
--- a/kapi/include/kapi/boot.hpp
+++ b/kapi/include/kapi/boot.hpp
@@ -11,7 +11,7 @@ namespace teachos::boot
 
   //! @qualifier platform-defined
   //! An object passed from the early pre-main stage to the kernel executable.
-  extern "C" information bootstrap_information;
+  extern "C" information const bootstrap_information;
 }  // namespace teachos::boot
 
 #endif
-- 
cgit v1.2.3