Subject: kern/5770: problem with kill command in ddb(4)
To: None <,,>
From: Benjamin Lorenz <>
List: netbsd-bugs
Date: 07/16/1998 11:33:50
>Number:         5770
>Category:       kern
>Synopsis:       the kill command of ddb(4) works not as expected
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    kern-bug-people (Kernel Bug People)
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Jul 16 02:35:00 1998
>Originator:     Benjamin Lorenz
Fachbereich Programmiersysteme, Uni des Saarlandes
>Release:        current (Jun 29)
System: NetBSD toto 1.3E NetBSD 1.3E (FBPS) #1: Tue May 19 23:24:07 CEST 1998 \
 root@toto:/var/src/sys/arch/sparc/compile/FBPS sparc

  The kill command of the kernel debugger does not accept process ids 
  in decimal notation. I have to calculate the hex number (which the ps command
  does NOT print!) and enter it as 0x<number>.
  Moreover, the ddb(4) manpage does not mention the kill command at all.
  Enter the kernel debugger.
  Try to kill a process after inspecting the process list (using `ps'). You
  will get "no such proc". A new try with the hex value will succeed.