build: factor out kernel API

3 files changed, 40 insertions, 0 deletions

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