Deweloperzy systemu operacyjnego , przy użyciu języka Rust oraz koncepcji mikrojądra, o realizacji możliwości debugowania aplikacji przy pomocy debugera GDB. Aby używać GDB, należy odkomentować linie z gdbserver i gnu-binutils w pliku filesystem.toml, a następnie uruchomić warstwę gdb-redox, która uruchomi własny gdbserver i połączy go z gdb przez IPC. Inną opcją jest uruchomienie oddzielnego gdbservera (akceptującego połączenia na porcie sieciowym 64126) i połączenie się z nim przez sieć GDB, wykonywanego na zewnętrznym systemie Linux.
Źródło: opennet.ru
