Vývojáři operačního systému , pomocí jazyka Rust a konceptu mikrojádra, o implementaci schopnosti ladit aplikace pomocí ladicího programu GDB. Chcete-li použít GDB, měli byste odkomentovat řádky s gdbserver a gnu-binutils v souboru filesystem.toml a spustit vrstvu gdb-redox, která spustí vlastní gdbserver a připojí jej k gdb přes IPC. Další možností je spuštění samostatného gdbserveru (přijímá připojení na síťovém portu 64126) a připojení k němu přes síť GDB běžící na externím systému Linux.
Zdroj: opennet.ru