import sys import os import gdb script_dir = os.path.dirname(os.path.abspath(__file__)) if script_dir not in sys.path: sys.path.insert(0, script_dir) import kstd import kapi kstd.register_printers(gdb.current_objfile()) kapi.register_printers(gdb.current_objfile()) gdb.write("Loaded TeachOS pretty printers.\n")