Ontwikkelaars van het besturingssysteem , met behulp van de programmeertaal Rust en het microkernelconcept, over de implementatie van de mogelijkheid om applicaties te debuggen met behulp van de GDB-debugger. Om GDB te gebruiken, moet je de regels met gdbserver en gnu-binutils in het bestand filesystem.toml ontcommentariƫren en de gdb-redox-laag starten, die zijn eigen gdbserver zal opstarten en deze via IPC met GDB zal verbinden. Een andere optie is om een aparte gdbserver te starten (die verbindingen accepteert op de netpoort 64126) en verbinding te maken met deze gdbserver via het netwerk GDB dat op een externe Linux-systeem wordt uitgevoerd.
Bron: opennet.ru
