riscv-software-src / opensbi

RISC-V Open Source Supervisor Binary Interface

skarnet / s6

The s6 supervision suite.

finit-project / finit

Fast init for Linux. Cookies included