Az operációs rendszer fejlesztői , a Rust nyelv és a mikrokernel koncepciója felhasználásával, a GDB hibakereső segítségével történő alkalmazáskezelés megvalósításáról. A GDB használatához ki kell kommentálni a gdbserver és gnu-binutils sorokat a filesystem.toml fájlban, és el kell indítani a gdb-redox réteget, amely elindítja a saját gdbserverét, és IPC-n keresztül csatlakoztatja azt a GDB-hez. Egy másik lehetőség külön gdbserver indítása (amely kapcsolatokat fogad a 64126-os hálózati porton), és ehhez csatlakozni a GDB-hez, amelyet egy külső Linux-rendszeren futtatnak.
Forrás: opennet.ru
