Updated July 2018



The RISC-V open instruction set is getting more and more news coverage these days. In particular since the release of the first RISC-V microcontroller from SiFive.

Since the initial release of this blog post we have improved the support of Ada/SPARK on RISC-V and the HiFive1 board.

In GNAT Community Edition 2018, the HiFive1 is now directly supported on Linux. This means that the procedure to use the board is greatly simplified: