Search Results for "programming language"

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.

eduOS-rs is a teaching operating system written in Rust, developed by RWTH Aachen University to support courses on systems programming and operating systems. It serves as a practical and educational tool that demonstrates key OS concepts like memory management, multitasking, privilege separation, and system call handling in a safe and modern language. Designed to run on x86_64 hardware using QEMU, eduOS-rs leverages Rust’s ownership model and type safety to reduce bugs common in low-level systems development. ...

rCore-Tutorial-Book-v3 is the official book for the third version of the rCore OS tutorial series, a comprehensive educational resource for learning operating system development using the Rust programming language. Targeted at the RISC-V architecture, this tutorial guides learners step-by-step through building a minimal, safe, and modern OS kernel from scratch. It is written in Markdown and powered by mdBook, making it easy to read, navigate, and contribute to. The book combines theoretical explanations with practical exercises, allowing students and enthusiasts to understand core OS concepts like bootstrapping, memory management, and process scheduling through hands-on implementation.

YiYiYa is a minimalist, Chinese-language desktop operating system with a custom graphical interface, designed for simplicity and education. Built primarily with C/C++, it includes its own kernel and GUI layer, featuring basic OS utilities such as file management, terminal, and user interface components. YiYiYa is bootable and self-contained, allowing users to experience a lightweight graphical OS that blends low-level programming with creative UI design, primarily targeting Chinese-speaking developers and learners.

onix is a minimalist educational operating system written in Rust, created to demonstrate low-level system design in a safe and modern language. It covers kernel essentials such as interrupts, memory management, and multitasking, and includes a tiny Unix-like shell for user interaction. onix is tailored for x86_64 systems and runs in QEMU, making it ideal for learning OS internals while benefiting from Rust’s type safety and concurrency guarantees. It’s a great project for students or Rustaceans interested in systems programming.

PowerNex is a microkernel operating system written entirely in the Nim programming language. Designed as a learning and research project, it explores OS development using a modern high-level systems language while still offering low-level control. PowerNex focuses on modularity, simplicity, and code clarity. While still in its early stages, the project includes basic kernel functionality, including memory management, task switching, and a custom bootloader, offering insight into building an OS from the ground up using newer programming paradigms.

FlingOS is an educational operating system and framework aimed at teaching students and developers how operating systems work, using C# and a bit of C++ and assembly. It allows developers to build kernels in a managed, high-level language and understand the entire bootstrapping and runtime process from scratch. FlingOS is particularly focused on making OS development more accessible by bridging the gap between high-level languages and low-level hardware programming.

This is the fifth or sixth generation of this idea, the big difference being that we have written some bootloader code and have started mapping out the kernel layout and structure. We have decided upon a core programming language for the kernel, and the core language for almost everything else. With a focus on isolating the MAJOR kernel features from the system itself, in what until now has remained research only instances, we hope to create a fully functioning exokerne. All code at this time will be available only via a git repository.