Search Results for "source code tarball"

Tock is a secure, embedded operating system designed for microcontrollers and low-power hardware platforms. Written in Rust, it uses a novel kernel architecture where the OS runs a minimal trusted core and all userland code, including device drivers, is sandboxed and isolated. Tock is ideal for IoT devices, wearables, and embedded research projects where reliability and safety are critical. Its capability-based security model and preemptive multitasking allow developers to safely run...

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...

LibertyOS Kernel is the core component of the LibertyOS operating system project, focused on creating a secure, privacy-respecting OS from the ground up. Written primarily in C and C++, the kernel is being developed to support modern hardware, incorporate essential system services, and maintain transparency in design. LibertyOS is built with an emphasis on user freedom, aiming to avoid corporate tracking, offer user-centric control, and provide a robust alternative to mainstream operating...