An x86 kernel written in Zig.
Zigslowing
18 projectsSystems Programming › Operating Systems
An x86 kernel written in Zig.
Zigslowing
Experimental operating system written in Zig.
ZigBSD 3-Clause "New" or "Revised" Licensesteady
A complete autogenerated set of Zig bindings for the Win32 API.
ZigMIT Licenseactive
Hobby x86 kernel Zig.
Zigslowing
Hobby operating system written in Zig.
ZigMIT Licenseslowing
Zvisor is an open-source hypervisor written in the Zig programming language, which provides a modern and efficient approach to systems programming.
ZigMIT Licenseslowing
General purpose operating system targeting standard desktops and laptops.
ZigBSD 3-Clause "New" or "Revised" Licenseactive
The PBUI (POSIX-compliant BSD/Linux Userland Implementation) project is a free and open source project intended to implement some standard library toolsets in the Zig programming language.
ZigMIT Licensedormant
UEFI examples in Zig.
Zigslowing
A simple OS written in Zig following Philipp Oppermann's posts Writing an OS in Rust.
ZigMIT Licenseactive
Tiny aarch64 baremetal OS thingy.
Zigdormant
Hobby Operating System.
ZigOthersteady
UEFI-bootable touch paint app.
Zigdormant
Library for assembling x86 in Zig (WIP).
ZigThe Unlicensedormant
Zig-efi-os.
ZigMIT Licensedormant
ROS 2 client library in Zig.
ZigApache License 2.0dormant
An operating system built with RISCV and Zig.
Zigdormant
MRP is a minimal microkernel that supports the most fundamental robotic domains. It's thought for highly integrated robotics development.
ZigGNU Affero General Public License v3.0dormant