andrey/raspberry-pi-pico-docker-sdk
1
0
Fork 1
mirror of https://github.com/lukstep/raspberry-pi-pico-docker-sdk.git synced 2025-12-22 18:45:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add FreeRTOS to container image and demo project

Browse Source
This commit is contained in:
lukstep
2024-04-04 21:24:27 +02:00
committed by Łukasz
parent 3d8b06e9b7
commit 4457cf9404
4 changed files with 219 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
Dockerfile
View File

@@ -14,13 +14,21 @@ RUN apk update && \
gcc-arm-none-eabi
# Raspberry Pi Pico SDK
ARG SDK_PATH=/usr/share/pico_sdk
ARG SDK_PATH=/usr/local/picosdk
RUN git clone --depth 1 --branch 1.5.1 https://github.com/raspberrypi/pico-sdk $SDK_PATH && \
cd $SDK_PATH && \
git submodule update --init
ENV PICO_SDK_PATH=$SDK_PATH
# FreeRTOS
ARG FREERTOS_PATH=/usr/local/freertos
RUN git clone --depth 1 --branch V11.0.1 https://github.com/FreeRTOS/FreeRTOS-Kernel $FREERTOS_PATH && \
cd $FREERTOS_PATH && \
git submodule update --init --recursive
ENV FREERTOS_KERNEL_PATH=$FREERTOS_PATH
# Picotool installation
RUN git clone --depth 1 --branch 1.1.2 https://github.com/raspberrypi/picotool.git /home/picotool && \
cd /home/picotool && \