This is the command line:
docker run -it --privileged -v $(pwd):/data/riotbuild -v
/dev/bus/usb:/dev/bus/usb riotjaooc make -C examples/hello-world
And because the RIOT-OS Dockefile doesn't collect openocd into the
container, I had to change the Dockerfile a bit and in fact also changed
the RIOT-OS distribution to Debian - find it attached!
Description: Binary data