I need tasking for my next project but I'm not sure if all Ada features are available for RISC-V. There is a LED blink example here but not much more.
https://github.com/AdaCore/Ada_Drivers_Library/blob/master/examples/HiFive1_rev_B/src/main.adb
2 Answers
You would need a runtime that supports tasking. AdaCore has a collection of Bareboard runtimes for small, embedded devices at
https://github.com/AdaCore/bb-runtimes
There is some RISC-V support there, including what looks to be Ravenscar tasking (a subset of the full Ada tasking model)
I asked AdaCore. They responded as follow:
Tasking (Ravenscar) on the FE310 is not supported yet.
The next release of GNAT Community will most likely provide support for tasking on the RISC-V64 SiFive Unleashed board.
/2020-05-12
Related