System Workbench for STM32

It turned out that the USB device for ST-Link was captured by my Windows Host. All I had to do was go to VirtualBox: Ctrl + Home->Devices->USB and select the STM32 STLink device.

Now my Linux VM "owns" the device and I can debug merrily - on to the next set of issues...

Please consider this closed.