mini-kernel topic

List mini-kernel repositories

mini-os-kernel

93
Stars
8
Forks
Watchers

A mini Unix-Like OS kernel

verified publisher icon hijkzzz

nobotro-os

58
Stars
2
Forks
Watchers

Simple operating system

verified publisher icon nobotro

riscv-os

45
Stars
1
Forks
Watchers

Build a minimal kernel for RISC-V

verified publisher icon peiyuanix