-
Updated
Feb 2, 2021 - Makefile
#
microkernel
Here are 110 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
Jan 14, 2021 - 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
Feb 5, 2021 - C
Open
UEFI stub
nuta
commented
Dec 5, 2020
MIT 6.828 Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
-
Updated
Dec 24, 2020 - 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, with first-class message passing
-
Updated
Feb 7, 2021 - 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
Jan 27, 2021 - 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
Feb 4, 2021 - C++
Use Symfony as a microframework.
-
Updated
Dec 21, 2017 - PHP
华为鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。
linux
harmony
iot
ai
kernel
maps
architecture
sensor
linux-kernel
os
operating-system
microkernel
huawei
hisilicon
v2x
development-tools
5g
harmonyos
openharmony
wearabledevice
-
Updated
Nov 24, 2020 - C
MultiZone® Security TEE for RISC-V
security
firmware
container
microkernel
secure-boot
risc-v
trustzone
tee
trusted-computing
hex-five
multizone-security
multizone
trusted-execution-environment
secure-element
root-of-trust
multizone-security-sdk
-
Updated
Jan 26, 2021 - C
Rust implementation of Xinu educational operating system
-
Updated
Oct 19, 2020 - Rust
The core components of the L4Re operating system.
-
Updated
Feb 4, 2021 - C++
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
-
Updated
Jan 12, 2021 - C
A hobbyist operating system created from scratch.
-
Updated
Nov 9, 2020 - 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.