Last week, AdaCore announced that they are now a member of the RISC-V Foundation. The RISC-V Foundation is a non-profit organization, which provides the free and open-source instruction set architecture (ISA) called RISC-V.
RISC-V was created by the Computer Science Division, EECS Department at the University of California in Berkeley with their foundation is supported by over 200 members. The ISA in RISC-V can be implemented via either open-source or proprietary architectures. This allows chip designers to use an assembly language that is designed with clarity.
By becoming a part of the RISC-V Foundation, AdaCore’s Ada and SPARK languages are made available to RISC-V developers. This offers them an environment where they can develop applications where safety and security are critical.
To read more, please visit: https://hub.packtpub.com/adacore-joins-the-risc-v-foundation-adds-support-for-c-and-ada-compilation/.