RV64GC Profile v2.4 Ratified
The application profile is frozen and signed off — base integer, multiply, atomics, float, double and compressed, verified against the golden model. →
A community-built RISC-V ecosystem — formally verified cores, a modular ISA, and a complete toolchain. Free to use, fork, and tape out.
RISC-V is an open instruction-set architecture — royalty-free, vendor-neutral, and governed in the open. OpenR5 turns that spec into silicon you can actually ship.
OpenR5 · RV32 / RV64
Every OpenR5 core is formally verified against a golden model — from a sub-12k-gate microcontroller to a Linux-class application core, floorplanned and ready to tape out.
The 2.4 release lands the RV64GC application profile with formal sign-off across the full pipeline — fetch to retire — plus golden-model co-simulation gating every commit. Four reference cores, one ratified ISA, zero royalties.
Vector 1.0 is upstream in both GCC and LLVM, and the R5-App core now boots mainline Linux on commodity FPGAs in under ninety seconds.
Continue Reading →
The application profile is frozen and signed off — base integer, multiply, atomics, float, double and compressed, verified against the golden model. →
Auto-vectorization for RVV 1.0 is now upstream in both major compilers, with scalable vectors and the full arithmetic set wired through. →
A full mainline boot — MMU, supervisor mode and trap handling — on a commodity board in under ninety seconds, end to end. →
The 'H' extension RFC opens for public review — two-stage translation, virtual supervisor mode and a reference KVM port. →