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