mirror of
https://github.com/OpenRTX/OpenRTX
synced 2026-08-08 12:29:06 -04:00
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> |
||
|---|---|---|
| .. | ||
| devcontainer.json | ||
| Dockerfile | ||