-
Updated
Aug 8, 2024 - Shell
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 187 public repositories matching this topic...
RT-Thread is an open source IoT real-time operating system (RTOS).
-
Updated
Aug 8, 2024 - C
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
-
Updated
Feb 28, 2023 - Rust
Pragmatic microkernel-based OS with fully asynchronous I/O
-
Updated
Aug 8, 2024 - C
A portable microkernel-based multiserver operating system written from scratch.
-
Updated
Jul 24, 2024 - C
Genode OS Framework
-
Updated
Aug 7, 2024 - C
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
-
Updated
Aug 22, 2023 - C
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
-
Updated
Mar 29, 2023 - C
华为开源鸿蒙分布式操作系统(Huawei OpenHarmony)开发技术交流,最全鸿蒙技术资料库,手册,指南,共建国产操作系统万物互联新生态。
-
Updated
Jul 25, 2024 - C
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.
-
Updated
Mar 23, 2021 - C
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
-
Updated
Jan 1, 2020 - C
NOVA Microhypervisor
-
Updated
Jul 3, 2024 - C
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
-
Updated
Dec 2, 2019 - Rust
Microkernel and userspace written in Rust exploring modern ideas
-
Updated
Jul 27, 2024 - Rust
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
-
Updated
Jul 24, 2023 - C
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
-
Updated
Dec 21, 2021 - Rust
- Followers
- 201 followers
- Wikipedia
- Wikipedia