Vývojáři operačního systému , s využitím jazyka Rust a konceptu mikrojádra, o realizaci možnosti ladění aplikací pomocí ladícího programu GDB. Pro použití GDB je třeba odkomentovat řádky s gdbserverem a gnu-binutils ve souboru filesystem.toml a spustit mezivrstvu gdb-redox, která spustí vlastní gdbserver a připojí jej k GDB přes IPC. Jiná varianta zahrnuje spuštění samostatného gdbserveru (přijímá spojení na síťovém portu 64126) a připojení k němu přes síť z GDB spuštěného na externím Linuxovém systému.
Zdroj: opennet.ru
