Dezvoltatorii sistemului de operare , folosind limbajul Rust și conceptul de microkernel, în implementarea posibilității de depanare a aplicațiilor cu ajutorul debugger-ului GDB. Pentru a folosi GDB, trebuie să decommentezi liniile cu gdbserver și gnu-binutils în fișierul filesystem.toml și să lansezi interfața gdb-redox, care va porni propriul gdbserver și îl va conecta la gdb prin IPC. O altă variantă presupune lansarea unui gdbserver separat (care acceptă conexiuni pe portul de rețea 64126) și conectarea la acesta prin rețea GDB, rulând pe un sistem Linux extern.
Sursa: opennet.ro
