This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
That should be FreeRTOSv10.0.1 to match the default unpacked download.
While I’m at it, it shouldn't expect people to install in $HOME.
I didn't catch this because I work on macOS, which has a case-insensitive case-preserving file system. There’s be no problem on Windows, but change is required on Linux.
simonjwright
commented
6 years ago
FreeRTOS.gprcontainsThat should be
FreeRTOSv10.0.1to match the default unpacked download.While I’m at it, it shouldn't expect people to install in
$HOME.I didn't catch this because I work on macOS, which has a case-insensitive case-preserving file system. There’s be no problem on Windows, but change is required on Linux.