gdb.info: KOD

Go backward to Remote
Go up to Targets
Go to the top op gdb

Kernel Object Display

Some targets support kernel object display.  Using this facility, GDB
communicates specially with the underlying operating system and can
display information about operating system-level objects such as
mutexes and other synchronization objects.  Exactly which objects can be
displayed is determined on a per-OS basis.
   Use the `set os' command to set the operating system.  This tells
GDB which kernel object display module to initialize:
     (gdb) set os cisco
   The associated command `show os' displays the operating system set
with the `set os' command; if no operating system has been set, `show
os' will display an empty string `""'.
   If `set os' succeeds, GDB will display some information about the
operating system, and will create a new `info' command which can be
used to query the target.  The `info' command is named after the
operating system:
     (gdb) info cisco
     List of Cisco Kernel Objects
     Object     Description
     any        Any and all objects
   Further subcommands can be used to query about particular objects
known by the kernel.
   There is currently no way to determine whether a given operating
system is supported other than to try setting it with `set os NAME',
where NAME is the name of the operating system you want to try.