Entwickler des Betriebssystems , unter Verwendung der Programmiersprache Rust und dem Konzept des Mikrokernels, zur Implementierung der Möglichkeit der Anwendungsdebugging mit dem GDB-Debugger. Um GDB zu verwenden, sollten die Zeilen mit gdbserver und gnu-binutils in der Datei filesystem.toml auskommentiert werden, und die gdb-redox-Schicht sollte gestartet werden, die einen eigenen gdbserver startet und ihn über IPC mit gdb verbindet. Eine andere Möglichkeit besteht darin, einen separaten gdbserver zu starten (verbindet sich über den Netzwerkport 64126) und sich über das Netzwerk mit GDB zu verbinden, das auf einem externen Linux-System ausgeführt wird.
Quelle: opennet.ru
