xkdb Xinu Kernel DeBugger是一个项目，允许您在远程xinu后端上使用GDB。 如何使用 首先，您需要找到适合您的体系结构的存根。 如果您不知道Xinu后端板的体系结构，请在您的OS类别中更多关注:)作为参考，以下是2019年Purdue板的备忘单。 Galilelo -x86 / i386 Beaglebone黑色-ARM 如果您的电路板不存在存根，请阅读的说明。 将适当的存根编译到您的xinu构建中 将stub/-stub.c移到system/-stub.c