From 0ea43527332b7e5f1cfec6007506aa54e8f628cb Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Thu, 7 May 2026 09:12:05 +0000
Subject: debug: enable libstdc++ helpers

---
 libs/kstd/gdb/__init__.py  |  2 --
 libs/kstd/gdb/std_types.py | 13 -------------
 2 files changed, 15 deletions(-)
 delete mode 100644 libs/kstd/gdb/std_types.py

(limited to 'libs')

diff --git a/libs/kstd/gdb/__init__.py b/libs/kstd/gdb/__init__.py
index fc5e8fb..2d61539 100644
--- a/libs/kstd/gdb/__init__.py
+++ b/libs/kstd/gdb/__init__.py
@@ -2,7 +2,6 @@ import gdb.printing
 
 from .vector import KstdVectorPrinter
 from .string import KstdStringPrinter
-from .std_types import StdBytePrinter
 from .smart_pointers import KstdUniquePtrPrinter, KstdSharedPtrPrinter
 
 
@@ -10,7 +9,6 @@ def build_pretty_printers():
     pp = gdb.printing.RegexpCollectionPrettyPrinter("kstd")
     pp.add_printer("vector", "^kstd::vector<.*>$", KstdVectorPrinter)
     pp.add_printer("string", "^kstd::string$", KstdStringPrinter)
-    pp.add_printer("std_byte", "^std::byte$", StdBytePrinter)
     pp.add_printer("unique_ptr", "^kstd::unique_ptr<.*>$", KstdUniquePtrPrinter)
     pp.add_printer("shared_ptr", "^kstd::shared_ptr<.*>$", KstdSharedPtrPrinter)
     return pp
diff --git a/libs/kstd/gdb/std_types.py b/libs/kstd/gdb/std_types.py
deleted file mode 100644
index deb5c58..0000000
--- a/libs/kstd/gdb/std_types.py
+++ /dev/null
@@ -1,13 +0,0 @@
-import gdb
-from teachos import TeachOSBasePrinter
-
-
-class StdBytePrinter(TeachOSBasePrinter):
-
-    def to_string(self):
-        try:
-            uint8_type = gdb.lookup_type("unsigned char")
-            numeric_value = int(self.value.cast(uint8_type))
-            return f"{numeric_value:#04x}"
-        except gdb.error:
-            return f"<optimized out or unreadable>"
-- 
cgit v1.2.3