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