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 178 public repositories matching this topic...
-
Updated
May 8, 2024 - Shell
RT-Thread is an open source IoT real-time operating system (RTOS).
-
Updated
May 9, 2024 - C
Pragmatic microkernel-based OS with fully asynchronous I/O
-
Updated
May 8, 2024 - C++
Hobbyist ARM64 operating system /w microkernel design. Includes a kernel written in C and user land apps in C++.
-
Updated
May 8, 2024 - C
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
-
Updated
May 8, 2024 - C
NOVA Microhypervisor
-
Updated
May 6, 2024 - C++
NOVA Microhypervisor
-
Updated
May 6, 2024 - C++
A portable microkernel-based multiserver operating system written from scratch.
-
Updated
May 6, 2024 - C
Phoenix-RTOS microkernel repository
-
Updated
May 8, 2024 - C
Microkernel and userspace written in Rust exploring modern ideas
-
Updated
May 6, 2024 - Rust
The core components of the L4Re operating system.
-
Updated
Apr 26, 2024 - C++
The development version of the L4Re Microkernel
-
Updated
Apr 26, 2024 - POV-Ray SDL
A modular framework for data logging and remote data acquisition.
-
Updated
Apr 17, 2024 - C
- Followers
- 200 followers
- Wikipedia
- Wikipedia