GitHub repository: real-xinu/xkdb
Primary language: C
Description: Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends