-
Updated
Oct 7, 2020 - Makefile
#
microkernel
Here are 99 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
Sep 22, 2020 - C++
A portable microkernel-based multiserver operating system written from scratch.
-
Updated
Aug 13, 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
Oct 3, 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
Sep 27, 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
Oct 6, 2020 - Ada
The development version of the Fiasco.OC microkernel
-
Updated
Oct 1, 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
Sep 29, 2020 - C
Rust implementation of Xinu educational operating system
-
Updated
Oct 6, 2020 - Rust
The core components of the L4Re operating system.
-
Updated
Oct 1, 2020 - C++
A hobbyist operating system created from scratch.
-
Updated
Jun 7, 2020 - C
A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.
-
Updated
Feb 23, 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.