#

microkernel

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.

Here are 24 public repositories matching this topic...

nebulet / nebulet

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

rust webassembly osdev operating-system microkernel nebulet

Updated Feb 28, 2023
Rust

rcore-os / zCore

Zircon microkernel reimplemented in Rust.

microkernel zircon

Updated Apr 15, 2024
Rust

sorpaas / rux

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

kernel microkernel

Updated Dec 2, 2019
Rust

IsaacWoods / poplar

Microkernel and userspace written in Rust exploring modern ideas

rust kernel x86-64 os osdev operating-system microkernel risc-v

Updated May 27, 2024
Rust

diosix

diodesign / diosix

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

rust kernel hypervisor riscv microkernel risc-v diosix

Updated Dec 21, 2021
Rust

kwast-os / kwast

Rust operating system running WebAssembly as userspace in ring 0

rust kernel x86-64 webassembly osdev operating-system microkernel

Updated Jan 11, 2021
Rust

Dentosal / rust_os

My hobby operating system microkernel written in Rust

rust osdev operating-system hobby-project microkernel

Updated Feb 27, 2023
Rust

sparkle-os / sparkle

✨ a microkernel in Rust

rust operating-system microkernel

Updated Oct 7, 2021
Rust

robert-w-gries / rxinu

Rust implementation of Xinu educational operating system

rust kernel operating-system microkernel xinu

Updated Oct 19, 2020
Rust

kernel

oro-os / kernel

Kernel for the Oro Operating System

kernel operating-system microkernel hybrid-kernel operating-system-kernel

Updated Mar 27, 2024
Rust

dandelion

AntoineSebert / dandelion

🌀 Microkernel Real-Time Operating System in Rust

rust operating-system microkernel rtos real-time-systems honours-project

Updated Apr 11, 2023
Rust

sphw / k5

A small experimental microkernel for embedded systems

rust embedded kernel embedded-systems microkernel l4

Updated Aug 23, 2022
Rust

fxttr / hadron

The Hadron microkernel

kernel x86-64 operating-system microkernel

Updated Jan 4, 2024
Rust

linuiz-project / linuiz

Hybrid micro/mono kernel focusing on server performance.

rust kernel os osdev microkernel

Updated Nov 28, 2023
Rust

Xe / novos

A capability based microkernel OS.

rust microkernel insanity

Updated Feb 9, 2019
Rust

esque

vresque / esque

A modern microkernel

rust embedded kernel x86-64 os osdev web-assembly operating-system secure rust-lang safe bootloader microkernel rust-crate

Updated Feb 19, 2024
Rust

Sup3Legacy / FerrOS

FerrOS is a school project aiming at building an minimalist micro-kernel OS. We chose to write it using the Rust language. We started by following Philipp Oppermann's own project (https://os.phil-opp.com/) and are currently extending it ourselves.

os rust-lang microkernel

Updated Dec 26, 2021
Rust

OSH-2022 / x-realism

Yet Another OS Group's project repository.

rust os microkernel

Updated Jul 10, 2022
Rust

phip1611 / hedron-minimal-roottask

This repository shows how to build and start a minimal roottask written in Rust on the Hedron microkernel/microhypervisor.

rust microkernel

Updated Sep 25, 2022
Rust

haoud / silicium-rs

A modern, fast and portable micro-kernel written entirely in Rust

rust kernel x86-64 osdev operating-system educational microkernel

Updated Apr 15, 2024
Rust

Followers: 200 followers
Wikipedia: Wikipedia