remote gdb: reboot system(Linux)

[Andrew Cagney]

> You can set pc to machine_restart function and continue.
> That will immediately reboot the machine.
> 
> kgdb ( http://kgdb.sourceforge.net/ ) doesn't yet support
> gdb remote protocol packets kill, attach and detach.
> 
> I'll add it whenever I get some time.


Before adding anything I'd carefully read the remote protocol doco, 
especially where it says ``deprecated'' or ``obsolete''.

You may also be interested in the qRcmd packet which allows the user to 
send across arbitrary commands (via ``(gdb) monitor ...'').

	Andrew