Hello everybody, I wondered if gdb could be used for debugging real-time operating systems? Thanks in advance for your answers. Fanny