Twórcy systemów operacyjnych , wykorzystanie języka Rust i koncepcji mikrojądra, o zaimplementowaniu możliwości debugowania aplikacji za pomocą debuggera GDB. Aby używać GDB, powinieneś odkomentować linie z gdbserver i gnu-binutils w pliku filesystem.toml i uruchomić warstwę gdb-redox, która uruchomi własny gdbserver i połączy go z gdb przez IPC. Inna opcja polega na uruchomieniu osobnego serwera gdbserver (akceptującego połączenia na porcie sieciowym 64126) i połączeniu się z nim przez sieć GDB działającą na zewnętrznym systemie Linux.
Źródło: opennet.ru