Розробники операційної системи , з використанням мови Rust та концепції мікроядра, про реалізацію можливості налагодження програм за допомогою відладчика GDB. Для використання GDB слід розкоментувати рядки з gdbserver та gnu-binutils у файлі filesystem.toml та запустити прошарок gdb-redox, який запустить власний gdbserver та підключить його до gdb через IPC. Інший варіант має на увазі запуск окремого gdbserver (приймає з'єднання на мережевому порту 64126) та приєднання до нього по мережі GDB, що виконується на зовнішній Linux-системі.
Джерело: opennet.ru