On Thursday 04 December 2008 01:27:44, Doug Evans wrote: > "info os processes" on one linux I use gives: > > (gdb) info os processes > pid user command > 1 root init [2] > > The testcase currently looks for /sbin/init. > > Ok to check in? Ok. Thanks. -- Pedro Alves