dockerdima/openocd_picoprobe repository overview

FROM debian:11-slim
LABEL mantainer="[email protected]"

# Adding picoprobe sources
ADD picoprobe /root/

# Updating environment
RUN apt update && apt upgrade -y
RUN apt install -y git

# Installing OpenOCD for PICO
WORKDIR /root/pico
RUN apt install -y automake autoconf build-essential texinfo libtool libftdi-dev libusb-1.0-0-dev pkg-config
RUN git clone https://github.com/raspberrypi/openocd.git --branch picoprobe --depth=1 --no-single-branch && \
    cd openocd && \
    ./bootstrap && \
    ./configure --enable-picoprobe && \
    make -j$(npoc) && \
    make install

# Adding examples
ADD ./blinker* /root/

# Adding useful commands in bash_history
RUN echo 'openocd -f interface/picoprobe.cfg -f target/rp2040.cfg -c "program /root/blinker_0.elf verify reset exit"' >> \
        /root/.bash_history && \
    echo 'openocd -f interface/picoprobe.cfg -f target/rp2040.cfg -c "program /root/blinker_1.elf verify reset exit"' >> \
        /root/.bash_history

WORKDIR /root

ENTRYPOINT [ "/bin/bash" ]