Stars
Device Tree-based Platform Device Driver Development for Tiano UEFI
The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.
A tiny Open POWER ISA softcore written in VHDL 2008
[No longer active] A fork of OpenSBI, with software-emulated hypervisor extension support
SGLIB - A Simple Generic Library for C (originally by Marian Vittek and not maintained by Stefan Tauner at all!)
board managment controller for the solid-run honeycomb arm server
RISC-V Profiles and Platform Specification
An OpenGL RTS game engine written in C
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Template to compile Z80/Z180/EZ80 CPM programs with sdcc
Few people use Forth. But this might be useful if you want to!
Light scaffolding for building kexec as a loadable kernel module
Tegra 3 and Tegra 4 TrustZone UEFI variable services handler exploit and Secure Boot unlock tool
Documentation for the RISC-V Supervisor Binary Interface