Solved
Where to specify the serial of the STLINK when multiple devices are detected
I got this (since I have multiple STLINKs attached):

Where do I specify the serial number in the command line (of the gdb server) ?
I got this (since I have multiple STLINKs attached):

Where do I specify the serial number in the command line (of the gdb server) ?
Enter your E-mail address. We'll send you an e-mail with instructions to reset your password.