k23 is a microkernel-based operating system project written in Zig, an emerging systems programming language focused on safety, simplicity, and performance. k23 explores the design of modern OS features like message-passing, memory protection, and modular service construction using Zig’s powerful low-level capabilities. It is an experimental and educational project intended to show how Zig can be used for robust, readable systems programming while enabling contributors to rethink traditional OS structures from the ground up.

Features

  • Microkernel architecture for service isolation and modularity
  • Written entirely in Zig for safety and low-level control
  • Message-passing IPC between isolated components
  • Memory management with custom paging system
  • x86_64 target support with bootable image
  • Early VGA console and basic debugging tools
  • Custom syscall interface and scheduling system
  • Emphasis on clean, readable, modern systems code
  • Suitable for learning Zig and OS development concurrently

Project Samples

Project Activity

See All Activity >

License

Apache License V2.0

Follow k23

k23 Web Site

Other Useful Business Software
Build Securely on AWS with Proven Frameworks Icon
Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Download Now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of k23!

Additional Project Details

Programming Language

Rust

Related Categories

Rust Operating Systems

Registered

2025-04-01