Vývojári operačného systému , pomocou jazyka Rust a konceptu mikrojadra, o implementácii schopnosti ladiť aplikácie pomocou ladiaceho nástroja GDB. Ak chcete použiť GDB, mali by ste 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. Ďalšou možnosťou je spustenie samostatného servera gdbserver (akceptovanie pripojení na sieťovom porte 64126) a pripojenie k nemu cez sieť GDB spustenú na externom systéme Linux.
Zdroj: opennet.ru