FROM ubuntu:22.04 RUN apt update && apt -y upgrade && apt install -y git python3 cmake gcc-arm-none-eabi libnewlib-arm-none-eabi build-essential gcc g++ libstdc++-arm-none-eabi-newlib RUN useradd -m -G sudo builder USER builder WORKDIR /home/builder # RUN git clone -b master https://github.com/raspberrypi/pico-sdk.git && cd pico-sdk && git submodule update --init # RUN git clone -b master https://github.com/raspberrypi/pico-examples.git # RUN git clone -b master https://github.com/raspberrypi/pico-extras.git # RUN git clone -b master https://github.com/raspberrypi/pico-playground.git ENV PICO_SDK_PATH=/home/builder/workspace/pico-sdk