mbedos/mbed-os-env repository overview

⁠⚠️ Please note that this repository has been deprecated and Docker images stored here are no longer updated. For updated Docker images, please use Docker images in GitHub Packages⁠

`

`

⁠mbed-OS development environment docker image

This docker image is the official mbed-OS development environment. Dockerfile being used⁠

• 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 GreenTea are installed
• All other mbed-OS dependency tools are installed.

⁠How to use docker image:

⁠Pull docker images

docker pull mbedos/mbed-os-env

⁠Run mbed OS environment without HW support (build mbed images only)

launch docker by

docker run -it mbedos/mbed-os-env:<lable>

Then you will have the container with mbed OS development environment. you should be able to compile mbed commands/examples as recommenced in mbed documentations e.g.

mbed import mbed-os-example-blinky
cd mbed-os-example-blinky
mbed compile -m <TARGET> -t GCC_ARM

⁠Run mbed OS environment with HW support (USB pass-through)

If you want to use this docker container connect and flash your targets. you 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 mbed-os-env:<label>

Then you will have the container with mbed OS development environment. To make sure your mbed targets 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 recommenced in mbed documentations

mbed clone https://github.com/ARMmbed/mbed-os.git
cd mbed-os
mbed test -t GCC_ARM -m <target>