This Docker image is the official Mbed OS development environment.
- It is based on Ubuntu 20.04
- Python and CMake are installed
- Arm-none-eabi-gcc toolchain is installed
- Latest released version of mbed-cli and mbed-greentea are installed
- All other Mbed OS dependency tools are installed.
docker pull ghcr.io/armmbed/mbed-os-env:<label>
Launch the Docker image by
docker run -it ghcr.io/armmbed/mbed-os-env:<label>
Then you will have a container with an Mbed OS development environment. You should be able to compile Mbed commands/examples as recommended in the documentation e.g.
mbed-tools import mbed-os-example-blinky
cd mbed-os-example-blinky
mbed-tools compile -m <TARGET> -t GCC_ARM
If you want to use this Docker image to connect and flash your targets, you will need some extra command line option to pass-through your USB devices.
sudo docker run -it --privileged -v /dev/disk/by-id:/dev/disk/by-id -v /dev/serial/by-id:/dev/serial/by-id ghcr.io/armmbed/mbed-os-env:<label>
Then you will have a container with an Mbed OS development environment.
To make sure your Mbed targets have been detected, you might want to manually run the mount command and mbedls
to check
mount /dev/sdb /mnt
mbedls
If mbedls
detected your connected target, then you should be able to run Mbed tests/examples as recommended in the Mbed documentation.
mbed import mbed-os
cd mbed-os
mbed test -t GCC_ARM -m <target>