2 files changed, 25 insertions, 0 deletions
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