Développeurs du système d'exploitation , en utilisant le langage Rust et le concept de micro-noyau, Concernant la mise en œuvre de la possibilité de débogage des applications à l'aide du débogueur GDB. Pour utiliser GDB, il faut décommenter les lignes avec gdbserver et gnu-binutils dans le fichier filesystem.toml et démarrer le niveau gdb-redox, qui lancera son propre gdbserver et le connectera à gdb via IPC. Une autre option consiste à lancer un gdbserver séparé (acceptant des connexions sur le port réseau 64126) et de se connecter à lui via le réseau avec GDB, exécuté sur un système Linux externe.
Source : opennet.ru
