Sviluppatori del sistema operativo , utilizzando il linguaggio Rust e il concetto di microkernel, sull'implementazione della possibilità di debug delle applicazioni utilizzando il debugger GDB. Per utilizzare GDB, è necessario decommentare le righe con gdbserver e gnu-binutils nel file filesystem.toml e avviare il layer gdb-redox, che avvierà il proprio gdbserver e lo collegherà a gdb tramite IPC. Un'altra opzione prevede l'avvio di un gdbserver separato (che accetta connessioni sulla porta di rete 64126) e il collegamento ad esso tramite rete GDB, eseguito su un sistema Linux esterno.
Fonte: opennet.ru
