Desenvolvedores de sistemas operativos , utilizando a linguaxe Rust e o concepto de micronúcleo, sobre a implementación da capacidade de depurar aplicacións usando o depurador GDB. Para usar GDB, debes descomentar as liñas con gdbserver e gnu-binutils no ficheiro filesystem.toml e executar a capa gdb-redox, que lanzará o seu propio gdbserver e conectalo a gdb mediante IPC. Outra opción consiste en lanzar un gdbserver separado (aceptando conexións no porto de rede 64126) e conectarse a el a través da rede GDB, que se executa nun sistema Linux externo.
Fonte: opennet.ru