sovereign-rf/OpenRTX
1
0
Fork 0
mirror of https://github.com/OpenRTX/OpenRTX synced 2026-08-08 12:29:06 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

devcontainer: pin miosix-kernel to Miosix v3.01

Browse source 
The toolchain build cloned miosix-kernel HEAD, so upstream layout
changes could break CI at any time. Fetch a fixed SHA instead.

Fixes #469

Signed-off-by: Vlastimil Slinták <slintak@uart.cz>
This commit is contained in:
Vlastimil Slinták 2026-07-04 20:40:57 +02:00 • committed by silseva
parent 77cddaeb2c
commit f5957eccd0
1 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

11
.devcontainer/Dockerfile
View file

@ -37,8 +37,15 @@ RUN apt-get update -y && apt-get install -y --no-install-recommends \
&& rm -rf /var/lib/apt/lists/*
# compile miosix compiler
RUN git clone --depth 1 https://github.com/fedetft/miosix-kernel.git \
&& cd miosix-kernel/tools/compiler/gcc-9.2.0-mp3.2 \
# Pinned to Miosix v3.01: upstream layout changes have broken this build
# before (see issue #469), bump the SHA deliberately.
ARG MIOSIX_KERNEL_SHA=361e8c35b09ad73c15ded5332dff21ce8c9a711d
RUN git init miosix-kernel \
&& cd miosix-kernel \
&& git remote add origin https://github.com/fedetft/miosix-kernel.git \
&& git fetch --depth 1 origin ${MIOSIX_KERNEL_SHA} \
&& git checkout FETCH_HEAD \
&& cd tools/compiler/gcc-9.2.0-mp3.2 \
&& sh download.sh \
&& bash install-script.sh -j`nproc`