#

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 168 public repositories matching this topic...

redox-os / redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

rust redox operating-system microkernel

Updated Mar 14, 2023
Shell

RT-Thread / rt-thread

RT-Thread is an open source IoT real-time operating system (RTOS).

iot arm microcontroller kernel cortex-m mips embedded-systems china microkernel rtos risc-v cortex-a

Updated Mar 15, 2023
C

seL4 / seL4

The seL4 microkernel

os microkernel sel4 sel4-microkernel

Updated Mar 9, 2023
C

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

Reimplement Zircon microkernel in Rust.

microkernel zircon

Updated Jan 28, 2023
Rust

HelenOS / helenos

A portable microkernel-based multiserver operating system written from scratch.

components gui kernel usb sound multiserver operating-system drivers microkernel tcp-ip multicore helenos

Updated Mar 8, 2023
C

managarm / managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

x86-64 modern-cpp operating-system microkernel hacktoberfest posix-compatible asynchronous-io

Updated Mar 14, 2023
C++

brutal

brutal-org / brutal

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

c kernel osdev operating-system microkernel hobby-os modern-c

Updated Feb 21, 2023
C

nieklinnenbank / FreeNOS

FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.

raspberry-pi c-plus-plus arm raspberrypi intel operating-system microkernel

Updated Mar 23, 2021
C++

SmallPond / MIT6.828_OS

MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html

mit xv6 microkernel jos opreating-systems

Updated Apr 19, 2022
C

f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

arm embedded cortex-m microkernel l4-microkernel

Updated Jan 1, 2020
C

maxdev1 / ghost

Ghost, a micro-kernel based hobby operating system.

gui kernel os ghost libc x86 microkernel

Updated Oct 23, 2022
C

fenwii / OpenHarmony

华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。

Updated Jan 28, 2023
C

nuta / resea

A microkernel-based hackable operating system.

operating-system microkernel

Updated Oct 7, 2022
C

udosteinberg / NOVA

NOVA Microhypervisor

security performance kernel cplusplus x86-64 virtualization hypervisor aarch64 microkernel microhypervisor

Updated Feb 28, 2023
C++

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

Sponsor

Microkernel and userspace written in Rust exploring modern ideas

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

Updated Mar 8, 2023
Rust

Nils-TUD / Escape

Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.

operating-system unix-like microkernel from-scratch

Updated Jul 11, 2022
C++

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

mystikos

deislabs / mystikos

Tools and runtime for launching unmodified container images in Trusted Execution Environments

docker intel alpha sgx microkernel tee

Updated Mar 14, 2023
C

Followers: 155 followers
Wikipedia: Wikipedia