-
Updated
Aug 25, 2020 - Makefile
#
microkernel
Here are 97 public repositories matching this topic...
(Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
-
Updated
Feb 5, 2020 - Rust
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
Aug 20, 2020 - C++
A portable microkernel-based multiserver operating system written from scratch.
-
Updated
Aug 13, 2020 - C
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
-
Updated
Dec 2, 2019 - Rust
A pure microkernel-based hackable operating system.
-
Updated
Aug 23, 2020 - C
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
-
Updated
Jul 11, 2020 - C++
Microkernel and userspace written in Rust, with first-class message passing
-
Updated
Aug 24, 2020 - Rust
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
-
Updated
Aug 26, 2020 - Rust
An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY
iot
microcontroller
cortex-m
containers
virtualization
hypervisor
multi-core
mcu
microkernel
capability-based
-
Updated
Nov 11, 2019 - C
EwoK micro-kernel repository
security
arm
microcontroller
embedded
spark
ada
microkernel
armv7m
ewok
microcontroller-firmware
ewok-kernel
-
Updated
Aug 13, 2020 - Ada
MultiZone® Secure IoT Stack for RISC-V
security
firmware
ecc
virtualization
hypervisor
picotcp
freertos
tpm
microkernel
secure-boot
risc-v
tee
wolfssl
tls13
trusted-computing
hex-five
multizone
trusted-execution-environment
secure-element
root-of-trust
-
Updated
Jun 23, 2020 - C
The development version of the Fiasco.OC microkernel
-
Updated
Aug 13, 2020 - C++
Use Symfony as a microframework.
-
Updated
Dec 21, 2017 - PHP
MultiZone® Security SDK for RISC-V
security
firmware
container
microkernel
secure-boot
risc-v
tee
trusted-computing
hex-five
multizone-security
multizone
trusted-execution-environment
secure-element
root-of-trust
-
Updated
Aug 16, 2020 - C
Rust implementation of Xinu educational operating system
-
Updated
Dec 11, 2019 - Rust
A hobbyist operating system created from scratch.
-
Updated
Jun 7, 2020 - C
The core components of the L4Re operating system.
-
Updated
Aug 13, 2020 - C++
kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.
-
Updated
Mar 31, 2017 - C
A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
-
Updated
Feb 23, 2020 - C++
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
-
Updated
Nov 30, 2019 - C
Improve this page
Add a description, image, and links to the microkernel topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the microkernel topic, visit your repo's landing page and select "manage topics."
Currently, thor searches for the RSDP in low memory. Let eir do that work on platforms where it makes sense.