gdb.info: Embedded OS

Go forward to Embedded Processors
Go backward to Native
Go up to Configurations
Go to the top op gdb

Embedded Operating Systems

This section describes configurations involving the debugging of
embedded operating systems that are available for several different
architectures.