Développeurs de systèmes d'exploitation , en utilisant le langage Rust et le concept de micro-noyau, sur l'implémentation de la possibilité de déboguer des applications à l'aide du débogueur GDB. Pour utiliser GDB, vous devez décommenter les lignes avec gdbserver et gnu-binutils dans le fichier filesystem.toml et exécuter la couche gdb-redox, qui lancera son propre gdbserver et le connectera à gdb via IPC. Une autre option consiste à exécuter un gdbserver distinct (acceptant les connexions sur le port réseau 64126) et à s'y connecter via le réseau GDB exécuté sur un système Linux externe.
Source: opennet.ru