-
Updated
Oct 12, 2020 - Makefile
#
microkernel
Here are 106 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
Nov 1, 2020 - C++
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
-
Updated
Jan 1, 2020 - C
A portable microkernel-based multiserver operating system written from scratch.
-
Updated
Nov 4, 2020 - C
nuta
commented
Sep 23, 2020
The current malloc() implementation uses a naive algorithm and it easily creates heap fragmentation. Obviously we need to fix this.
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, with first-class message passing
-
Updated
Nov 9, 2020 - Rust
Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
-
Updated
Jul 11, 2020 - C++
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
-
Updated
Nov 7, 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
A secure and high performances microkernel for building secure MCU-based IoTs
security
arm
microcontroller
embedded
spark
ada
microkernel
armv7m
ewok
microcontroller-firmware
ewok-kernel
-
Updated
Oct 15, 2020 - Ada
The development version of the Fiasco.OC microkernel
-
Updated
Nov 5, 2020 - C++
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
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
Oct 16, 2020 - C
Rust implementation of Xinu educational operating system
-
Updated
Oct 19, 2020 - Rust
The core components of the L4Re operating system.
-
Updated
Nov 5, 2020 - C++
A hobbyist operating system created from scratch.
-
Updated
Nov 9, 2020 - C
kaneton is an educational microkernel that has been used for teaching purposes for over 8 years.
-
Updated
Mar 31, 2017 - 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.