18.5. 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:
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
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 it.