A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
📚 Learn to write an embedded OS in Rust 🦀
A secure embedded operating system for microcontrollers
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
A Rust-based, lightweight unikernel.
Experimental free and open-source PlayStation 4 kernel
Valthrun an open source external CS2 read only kernel gameplay enhancer.
A teaching operating system written in Rust
🐱 Experimental operating system written in Rust
Project to create driver/software to control performance of razer laptops
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
