Hello all!
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
BOARD=nucleo-f334 flash
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!
-eero-
Attachment:
Dockerfile
Description: Binary data