随着嵌入式技术的迅猛发展，嵌入式系统变得越来越复杂。系统以及软件出现Bug的可能性大大增加，软件调试技术在嵌入式系统中的作用也就越来越重要。对由于嵌入式系统与传统的桌面系统不同，它受到硬件资源以及软件环境的限制，故常采用交叉调试技术，即宿主机加目标机的方式。aCoral是一个开源的操作系统，具有支持多核以及强实时的特点。但是，尚没有一款支持其进行软件调试的调试工具，因此为其开发一个配套的软件调试工具，不仅能深入了解其aCoral操作系统的内核，了解操作系统的实现，也能学习到嵌入式软件调试中的关键技术，具有重要的现实意义。本文首先分别从宿主机、目标机、调试代理三个方面分析了GDB远程调试技术，然后介绍了aCoral操作系统，分析了它的调试需求。随后以GDB为基础，对调试器进行了总体设计，最终在S3C2440上设计并且实现了一款针对aCoral操作系统的调试器,主要包括三个部分：宿主机与目标机建立连接、RSP协议、对GDB调试命令的支持。最后，对调试代理的功能进行了测试和验证。本文设计调试器对常用的GDB命令都提供了支持，包括与断点相关的调试命令如设置、删除断点；与寄存器相关的命令如查看寄存器的值；与变量相关的命令。在基于aCoral进行应用程序开发时，通过调试代理，可以在宿主机端使用GDB对应用程序进行调试，调试代理的实现为aCoral提供了一种软件调试的方法，从而降低了开发成本，对aCoral的推广与发展有很大益处。