From 1b33fc5746be4d23b1c4adacc02263fbcf994524 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matteo=20Gm=C3=BCr?= <matteo.gmuer1@ost.ch>
Date: Sun, 6 Oct 2024 09:58:17 +0000
Subject: Add assert method

---
 arch/x86_64/src/kernel/main.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'arch/x86_64')

diff --git a/arch/x86_64/src/kernel/main.cpp b/arch/x86_64/src/kernel/main.cpp
index d94cbba..fa1e464 100644
--- a/arch/x86_64/src/kernel/main.cpp
+++ b/arch/x86_64/src/kernel/main.cpp
@@ -6,6 +6,15 @@
 
 namespace teachos::arch::kernel
 {
+  auto assert(bool condition) -> void
+  {
+    video::vga::text::write("Assert failed", video::vga::text::common_attributes::green_on_black);
+    while (!condition)
+    {
+      ;
+    }
+  }
+
   auto print_mem_info(arch::memory::memory_info * mem_info) -> void
   {
     video::vga::text::write("Memory info low: ", video::vga::text::common_attributes::green_on_black);
@@ -14,6 +23,10 @@ namespace teachos::arch::kernel
 
   auto print_memory_map(arch::memory::memory_map * mminfo) -> void
   {
+    auto expected_entry_size = mminfo->entry_size;
+    constexpr auto actual_size = sizeof(arch::memory::memory_area);
+    assert(expected_entry_size == actual_size);
+
     auto remaining_size = mminfo->tag.size - (4 * sizeof(uint32_t));
     auto entry_amount = remaining_size / mminfo->entry_size;
 
-- 
cgit v1.2.3