Desenvolupadors de sistemes operatius , utilitzant el llenguatge Rust i el concepte de micronucli, sobre la implementació de la capacitat de depurar aplicacions mitjançant el depurador GDB. Per utilitzar GDB, hauríeu de descomentar les línies amb gdbserver i gnu-binutils al fitxer filesystem.toml i executar la capa gdb-redox, que llançarà el seu propi gdbserver i el connectarà a gdb mitjançant IPC. Una altra opció consisteix a executar un servidor gdb separat (acceptant connexions al port de xarxa 64126) i connectar-s'hi a través de la xarxa GDB que s'executa en un sistema Linux extern.
Font: opennet.ru