zig-time-sharing-kernel

zig-time-sharing-kernel

popovicu

Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI

kernel
View on GitHub Website
211 Stars
4 Forks
211 Watchers
Zig Language
100 SrcLog Score
Cost to Build
$500
Market Value
$1.3K
How is this calculated?

Growth over time

2 data points  ·  2026-04-08 → 2026-04-15
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about zig-time-sharing-kernel

Question copied to clipboard

What is the popovicu/zig-time-sharing-kernel GitHub project? Description: "Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI". Written in Zig. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone zig-time-sharing-kernel

Clone via HTTPS

git clone https://github.com/popovicu/zig-time-sharing-kernel.git

Clone via SSH

[email protected]:popovicu/zig-time-sharing-kernel.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the zig-time-sharing-kernel issue tracker:

Open GitHub Issues

Similar to zig-time-sharing-kernel

gvisor raspberry-pi-os reactos build-linux cilium spectre-meltdown-checker toaruos linux-insides-zh windows-kernel-exploits syzkaller linux-kernel-exploits rt-thread blog_os gophernotes pmbootstrap tock build simplefs u-root kernelpop SpecuCheck xos ksm sparkmagic PowerNex frakti Diamorphine The_Holy_Book_of_X86 jupyter-c-kernel kAFL