Desenvolvedores do sistema operacional , usando a linguagem Rust e o conceito de microkernel, sobre a implementação da capacidade de depuração de aplicativos com o depurador GDB. Para usar o GDB, você deve descomentar as linhas com gdbserver e gnu-binutils no arquivo filesystem.toml e iniciar a camada gdb-redox, que iniciará seu próprio gdbserver e o conectará ao gdb via IPC. Outra opção implica iniciar um gdbserver separado (que aceita conexões na porta de rede 64126) e conectar-se a ele pela rede GDB, executado em um sistema Linux externo.
Fonte: opennet.ru
