abathargh/tinyos repository overview

Run the container with --privileged to make it have access to the serial interface, or use the --device flag specifying the serial interface identifying the device you're using.

Example:

docker run --rm -it --privileged abathargh/tinyos:msp430-debian9 bash

to have a bash shell with the environment and the already cloned tinyos main branch.