Pinned

1. openhwgroup/cva6 openhwgroup/cva6 Public

   The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux

   Assembly 2.1k 640

2. riscv-collab/riscv-openocd riscv-collab/riscv-openocd Public

   Fork of OpenOCD that has RISC-V support

   C 418 306

3. seL4/seL4 seL4/seL4 Public

   The seL4 microkernel

   C 4.6k 639

4. pulp-platform/cheshire pulp-platform/cheshire Public

   A minimal Linux-capable 64-bit RISC-V SoC built around CVA6

   SystemVerilog 134 31