Welcome to the Randy Operating System (RandyOS) project!

This is a hobby project to develop a custom MIT-Licensed operating system kernel and standard library for scientific computing. The project is being developed in Zig, with the eventual goal of developing a Linux-compatible kernel that can run systemd as PID 1.

We are initially targeting x86_64 UEFI-based development. We intend to extend to ARM64 (Apple/Raspberry Pi) for newer hardware and PowerPC (32-bit) for legacy targets of interest.

The project is also closely tied to the development of the Cesium programming language, which will eventually target RandyOS as well as other platforms.

For more technical details about the project, see our source code repository.