From 07fb219869099c719b0fbfeae81b95512487639e Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Fri, 8 May 2026 17:12:24 +0200
Subject: debug: add page and frame formatters

---
 kapi/gdb/device.py | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 kapi/gdb/device.py

(limited to 'kapi/gdb/device.py')

diff --git a/kapi/gdb/device.py b/kapi/gdb/device.py
deleted file mode 100644
index 8e515ef..0000000
--- a/kapi/gdb/device.py
+++ /dev/null
@@ -1,20 +0,0 @@
-import gdb
-
-
-class KapiDevicesDevicePrinter(gdb.ValuePrinter):
-    def __init__(self, val):
-        self.__val = val
-
-    def to_string(self):
-        return (
-            f"{self.__val['m_name']} @ {self.__val['m_major']}:{self.__val['m_minor']}"
-        )
-
-    def children(self):
-        yield ("major", self.__val["m_major"])
-        yield ("minor", self.__val["m_minor"])
-        yield ("name", self.__val["m_name"])
-        yield ("parent", self.__val["m_parent"])
-
-    def display_hint(self):
-        return None
-- 
cgit v1.2.3