DornerWorks releases GDB for seL4 to open source community
DornerWorks is excited to be able to announce the public availability of source code and instructions to enable debugging of seL4 applications using the popular open source GNU Project Debugger (GDB), expanding the ecosystem for the first formally provable microkernel. DornerWorks developed this capability on a ZC702 development board, running a Zynq-7000 SoC, from Xilinx as part of a Small Business Innovation Research project for the Defense Advanced Research Projects Agency (DARPA) late last year. The first phase of this project included implementation of a gdb-stub process enabling basic functionality for setting breakpoints, stepping through code, reading/modifying variables and registers via the Remote Serial Protocol (RSP) connection. The source code and instructions can be downloaded at https://github.com/dornerworks/gdbstub-app-manifest and https://github.com/dornerworks/gdbstub-app.