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

---
 kern/src/kstd.cpp | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 kern/src/kstd.cpp

(limited to 'kern/src/kstd.cpp')

diff --git a/kern/src/kstd.cpp b/kern/src/kstd.cpp
deleted file mode 100644
index 1b7050b..0000000
--- a/kern/src/kstd.cpp
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "kern/error.hpp"
-
-#include <kstd/bits/os.hpp>
-
-namespace kstd::os
-{
-
-  auto panic(std::string_view message, std::source_location location) -> void { teachos::panic(message, location); }
-
-}  // namespace kstd::os
\ No newline at end of file
-- 
cgit v1.2.3