Operatsioonisüsteemi arendajad , Rust keelt ja mikrokerne kontsepti kasutades, rakenduste silumise võimaluse rakendamine GDB siluri abil. GDB kasutamiseks tuleb failist filesystem.toml kommenteerida välja gdbserveri ja gnu-binutils read ning käivitada gdb-redox, mis käivitab oma gdbserveri ja ühendab selle gdb-ga IPC kaudu. Teine variant hõlmab eraldi gdbserveri käivitamist (mis aktsepteerib ühendusi võrguporti 64126) ja GDB ühendamist selle kaudu väliselt Linux-süsteemilt.
Allikas: opennet.ru
