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