Pengembang sistem operasi , menggunakan bahasa Rust dan konsep mikrokernel, tentang penerapan kemampuan untuk men-debug aplikasi menggunakan debugger GDB. Untuk menggunakan GDB, Anda harus menghapus komentar pada baris dengan gdbserver dan gnu-binutils di file filesystem.toml dan menjalankan lapisan gdb-redox, yang akan meluncurkan gdbservernya sendiri dan menghubungkannya ke gdb melalui IPC. Opsi lainnya melibatkan menjalankan gdbserver terpisah (menerima koneksi pada port jaringan 64126) dan menghubungkannya melalui jaringan GDB yang berjalan pada sistem Linux eksternal.
Sumber: opennet.ru