OpenRTX/.devcontainer
Vlastimil Slinták f5957eccd0 devcontainer: pin miosix-kernel to Miosix v3.01
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>
2026-07-05 17:06:51 +02:00
..
devcontainer.json build: rename "build_arm" file to "build_cm4" 2026-02-14 16:00:51 +01:00
Dockerfile devcontainer: pin miosix-kernel to Miosix v3.01 2026-07-05 17:06:51 +02:00