Desarrolladores de sistemas operativos , utilizando el lenguaje Rust y el concepto de microkernel, sobre la implementación de la capacidad de depurar aplicaciones utilizando el depurador GDB. Para usar GDB, debe descomentar las líneas con gdbserver y gnu-binutils en el archivo filesystem.toml y ejecutar la capa gdb-redox, que iniciará su propio gdbserver y lo conectará a gdb a través de IPC. Otra opción implica ejecutar un servidor gdb separado (aceptando conexiones en el puerto de red 64126) y conectarse a él a través de la red GDB que se ejecuta en un sistema Linux externo.
Fuente: opennet.ru