"Imagination launches IMG RTXM-2200 – its first real-time embedded RISC-V CPU"

• openc910

  42 1,040 1.3 Verilog

  OpenXuantie - OpenC910 Core

  

Floor plan, no, but all of the Verilog is there. If you have the resources (e.g. a really big FPGA!) you can synthesize it for yourself: https://github.com/T-head-Semi/openc910

• XiangShan

  32 4,305 9.3 Scala

  Open-source high-performance RISC-V processor

  

Also would be hard competing with ARM A73 class open source riscv cores like XiangShan and the T-head which are out-of-order, superscalar, and multicore capable.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• seL4

  60 4,530 9.0 C

  The seL4 microkernel

  

These CPUs are going to be running carefully crafted high assurance code backed with formal proofs, on bare metal or in high assurance RTOSs such as seL4.

Suggest a related project