From 4edbe94ce1266c9acc6a695fedf1d2edd4ce11cd Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Thu, 24 Jul 2025 15:31:31 +0000
Subject: build: factor out kernel API

---
 kapi/include/kapi/io.hpp     | 17 +++++++++++++++++
 kapi/include/kapi/memory.hpp |  9 +++++++++
 kapi/include/kapi/system.hpp | 14 ++++++++++++++
 3 files changed, 40 insertions(+)
 create mode 100644 kapi/include/kapi/io.hpp
 create mode 100644 kapi/include/kapi/memory.hpp
 create mode 100644 kapi/include/kapi/system.hpp

(limited to 'kapi/include')

diff --git a/kapi/include/kapi/io.hpp b/kapi/include/kapi/io.hpp
new file mode 100644
index 0000000..764738f
--- /dev/null
+++ b/kapi/include/kapi/io.hpp
@@ -0,0 +1,17 @@
+#ifndef TEACHOS_KAPI_IO_HPP
+#define TEACHOS_KAPI_IO_HPP
+
+#include <string_view>
+
+namespace teachos::io
+{
+  auto init() -> void;
+
+  auto print(std::string_view text) -> void;
+  auto println(std::string_view text) -> void;
+
+  auto print_error(std::string_view text) -> void;
+  auto println_error(std::string_view text) -> void;
+}  // namespace teachos::io
+
+#endif
diff --git a/kapi/include/kapi/memory.hpp b/kapi/include/kapi/memory.hpp
new file mode 100644
index 0000000..842a2fa
--- /dev/null
+++ b/kapi/include/kapi/memory.hpp
@@ -0,0 +1,9 @@
+#ifndef TEACHOS_KAPI_MEMORY_HPP
+#define TEACHOS_KAPI_MEMORY_HPP
+
+namespace teachos::memory
+{
+  auto init() -> void;
+}
+
+#endif
diff --git a/kapi/include/kapi/system.hpp b/kapi/include/kapi/system.hpp
new file mode 100644
index 0000000..0d4f2c9
--- /dev/null
+++ b/kapi/include/kapi/system.hpp
@@ -0,0 +1,14 @@
+#ifndef TEACHOS_KAPI_SYSTEM_HPP
+#define TEACHOS_KAPI_SYSTEM_HPP
+
+#include <source_location>
+#include <string_view>
+
+namespace teachos::system
+{
+  [[noreturn]] auto halt() -> void;
+
+  [[noreturn]] auto panic(std::string_view message, std::source_location = std::source_location::current()) -> void;
+}  // namespace teachos::system
+
+#endif
-- 
cgit v1.2.3