Oleg Hahm 30e1d3ef8a tools/jlink.sh: start gdb server with setsid ... Adopted from openocd script in order to prevent killing the gdb server upon SIGINT.		2023-06-09 15:33:14 +02:00
..
jlink.sh	tools/jlink.sh: start gdb server with setsid	2023-06-09 15:33:14 +02:00
reset.seg
term.seg