From 5ae03c52fe33882416aa6044993d8422ccb33ab4 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Wed, 1 Apr 2026 08:49:21 +0200
Subject: kernel: begin basic bht implementation

---
 kernel/tests/src/main.cpp         |  6 ++++++
 kernel/tests/src/test_support.cpp | 19 +++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 kernel/tests/src/main.cpp
 create mode 100644 kernel/tests/src/test_support.cpp

(limited to 'kernel/tests/src')

diff --git a/kernel/tests/src/main.cpp b/kernel/tests/src/main.cpp
new file mode 100644
index 0000000..89bb1c7
--- /dev/null
+++ b/kernel/tests/src/main.cpp
@@ -0,0 +1,6 @@
+#include <catch2/catch_session.hpp>
+
+auto main(int argc, char ** argv) -> int
+{
+  return Catch::Session().run(argc, argv);
+}
\ No newline at end of file
diff --git a/kernel/tests/src/test_support.cpp b/kernel/tests/src/test_support.cpp
new file mode 100644
index 0000000..bbf5dc0
--- /dev/null
+++ b/kernel/tests/src/test_support.cpp
@@ -0,0 +1,19 @@
+#include "kapi/cpu.hpp"
+
+#include "kernel/tests/cpu.hpp"
+
+#include <catch2/catch_test_macros.hpp>
+
+SCENARIO("Kernel test support infrastructure", "[support]")
+{
+  GIVEN("the test support infrastructure is initialized")
+  {
+    WHEN("when a CPU halt is requested")
+    {
+      THEN("the correct exception is thrown")
+      {
+        REQUIRE_THROWS_AS(kapi::cpu::halt(), kernel::tests::cpu::halt);
+      }
+    }
+  }
+}
\ No newline at end of file
-- 
cgit v1.2.3