Sviluppatori del sistema operativo , utilizzando il linguaggio Rust e il concetto di microkernel, sull'implementazione della possibilità di fare debug delle applicazioni tramite 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 la connessione a esso tramite la rete GDB eseguito su un sistema Linux esterno.
Fonte: opennet.ru
