Why no Free RTOS Plugin?
❯❯❯ JLinkGDBServer -device MKL17Z256xxx4 -if SWD -port 3333 -rtos /opt/SEGGER/JLink/GDBServer/RTOSPlugin_FreeRTOS.so -v
SEGGER J-Link GDB Server V6.12a Command Line Version
JLinkARM.dll V6.12a (DLL compiled Dec 2 2016 17:00:59)
WARNING: Unknown command line parameter -v found.
-----GDB Server start settings-----
GDBInit file: none
GDB Server Listening port: 3333
SWO raw output listening port: 2332
Terminal I/O port: 2333
Accept remote connection: yes
Generate logfile: off
Verify download: off
Init regs on start: off
Silent mode: off
Single run mode: off
Target connection timeout: 0 ms
------J-Link related settings------
J-Link Host interface: USB
J-Link script: none
J-Link settings file: none
------Target related settings------
Target device: MKL17Z256xxx4
Target interface: SWD
Target interface speed: 1000kHz
Target endian: little
Connecting to J-Link...
J-Link is connected.
Firmware: J-Link OB-SAM3U128-V2-NordicSemi compiled Nov 14 2016 16:58:29
Hardware: V1.00
S/N: 681547977
Checking target voltage...
Target voltage: 3.30 V
Listening on TCP/IP port 3333
Connecting to target...Connected to target
Waiting for GDB connection...Connected to 127.0.0.1
Reading all registers
Read 4 bytes @ address 0x0000546C (Data = 0x681B4B05)
Loading RTOS plugin: /opt/SEGGER/JLink/GDBServer/RTOSPlugin_FreeRTOS.so...
RTOS plugin load failed