DiyouS

Pinned Repositories

cluster_interconnect
Language:SystemVerilog00
opensbi
RISC-V Open Source Supervisor Binary Interface
Language:C00
seL4
The seL4 microkernel
Language:C00
sel4test
Test suite for seL4.
Language:C00
util_libs
Language:C00
axi_llc
Language:SystemVerilog16 6 615
cheshire
A minimal Linux-capable 64-bit RISC-V SoC built around CVA6
Language:Verilog175 14 1637

DiyouS's Repositories

DiyouS/cluster_interconnect
Language:SystemVerilog00
DiyouS/opensbi
RISC-V Open Source Supervisor Binary Interface
Language:C00
DiyouS/seL4
The seL4 microkernel
Language:C00
DiyouS/sel4test
Test suite for seL4.
Language:C00
DiyouS/util_libs
Language:C00