Vývojári operačného systému , s použitím jazyka Rust a konceptom mikrojadra, o implementácii možnosti ladenia aplikácií pomocou ladenia GDB. Na použitie GDB je potrebné odkomentovať riadky s gdbserver a gnu-binutils v súbore filesystem.toml a spustiť vrstvu gdb-redox, ktorá spustí vlastný gdbserver a pripojí ho k gdb cez IPC. Alternatívna možnosť zahŕňa spustenie samostatného gdbservera (prijíma pripojenia na sieťovom porte 64126) a pripojenie k nemu cez sieť GDB, vykonávaného na vonkajšej Linuxovej sústave.
Zdroj: opennet.ru
