(gdb) target extended-remote localhost:4242
Remote debugging using localhost:4242
0x08001154 in ?? ()
(gdb) kill
Kill the program being debugged? (y or n) y
(gdb) run

Starting program: /home/l29ah/projects/coreboot/stm32f4-flashrom/serprog-stm32f4discovery/serprog-stm32f4discovery.elf serprog-stm32f4discovery.elf
Remote target does not support "set args" or run
(gdb) c
The program is not being run.

-- GNU gdb (Linaro GDB) 7.5-2012.12-1