show os

[Eli Zaretskii]

> From: "MuthuKumar" <kmuthu_linux@HotPOP.com>
> Date: Sat, 24 Jan 2004 16:06:17 +0530
> 
> If i put the command as show os it is showing only as 
> (gdb) show os
> Operating system is "".
> 
> what is the problem with this.

There are 2 problems:

  (1) you need to say "set os <something>" before "show os" could
      tell something useful; and

  (2) the GDB manual fails to index "show os" and "set os".

In other words, "show os" only works on systems that support KOD, the
Kernel Object Display interface.  See the section "KOD" in the GDB
manual for more details.

I'll fix problem (2) above ASAP.  Thanks for bringing this to our
attention.