Skip to content

Latest commit

 

History

History
23 lines (19 loc) · 694 Bytes

File metadata and controls

23 lines (19 loc) · 694 Bytes

RISC-V OpenSBI Kernel

An in-progress kernel for the RISC-V 32-bit ISA implemented via OpenSBI.

Current Features

  • S-Mode Booting with Multiple HARTs
  • Preemptive Multithreading
  • Semaphores, Mutexes, Promises, Reusable Barriers
  • Shared Pointers

Install Instructions on Linux

Install the following via your package manager's commands (below I use Debian/Ubuntu as an example)

sudo apt install qemu-system-riscv32
sudo apt install riscv64-unknown-elf-gcc
sudo apt install riscv64-unknown-elf-g++
sudo apt install mtools dosfstools

In the root directory, download OpenSBI

curl -LO https://github.com/qemu/qemu/raw/v8.0.4/pc-bios/opensbi-riscv32-generic-fw_dynamic.bin