Sviluppatori di sistemi operativi , utilizzando il linguaggio Rust e il concetto di microkernel, sull'implementazione della capacità di eseguire il debug delle applicazioni utilizzando il debugger GDB. Per utilizzare GDB, dovresti rimuovere il commento dalle righe con gdbserver e gnu-binutils nel file filesystem.toml ed eseguire il livello gdb-redox, che avvierà il proprio gdbserver e lo collegherà a gdb tramite IPC. Un'altra opzione prevede l'esecuzione di un gdbserver separato (che accetta connessioni sulla porta di rete 64126) e la connessione ad esso tramite la rete GDB in esecuzione su un sistema Linux esterno.
Fonte: opennet.ru