#

microkernel

A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.

Here are 5 public repositories matching this topic...

xor-bits / hiillos

operating system and its own microkernel in pure Zig

kernel zig osdev microkernel

Updated Jul 12, 2026
Zig

gthvn1 / zigos

An experimental micro kernel written in Zig

zig x86 microkernel

Updated Dec 24, 2025
Zig

autoproject96 / grain

Grain — an operating system and a civic application, built in the open, from first principles, with genuine joy.

zig operating-system urbit hoon microkernel risc-v tigerbeetle

Updated Aug 14, 2026
Zig

xykj61 / grain

Grain — an operating system and a civic application, built in the open, from first principles, with genuine joy.

postgres nix zig s6 operating-system urbit hoon astrology wayland microkernel risc-v sel4 sui genode solana infuse tigerbeetle

Updated Aug 14, 2026
Zig

trashguy / Fornax

Microkernel OS in Zig — Plan 9 syscalls, L4 IPC, VMS fault tolerance

zig os plan9 microkernel risc-v

Updated Jun 3, 2026
Zig

Followers: 260 followers
Website: github.com/topics/kernel
Wikipedia: Wikipedia