-
Updated
Jul 30, 2021 - Makefile
#
microkernel
Here are 124 public repositories matching this topic...
A proof-of-concept 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
Mar 23, 2021 - C++
A portable microkernel-based multiserver operating system written from scratch.
-
Updated
Aug 1, 2021 - C
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
-
Updated
Jan 1, 2020 - C
MIT 6.828 Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
-
Updated
May 8, 2021 - C
Open
UEFI stub
nuta
commented
Dec 5, 2020
华为鸿蒙分布式操作系统（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
Jul 18, 2021 - 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 exploring modern ideas
-
Updated
Aug 1, 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
May 8, 2021 - Rust
-
Updated
Aug 3, 2021 - C
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
May 27, 2021 - Ada
The development version of the Fiasco.OC microkernel
-
Updated
Jul 29, 2021 - C++
c
raspberry-pi
microcontroller
kernel
assembly
osdev
operating-system
unix-like
microkernel
cute-engineewing
-
Updated
Jun 10, 2021 - C++
MultiZone® Security TEE for RISC-V
security
firmware
container
freertos
microkernel
microchip
secure-boot
risc-v
hifive
trustzone
tee
trusted-computing
sifive
multizone
trusted-execution-environment
secure-element
root-of-trust
polarfire
-
Updated
May 31, 2021 - C
Use Symfony as a microframework.
-
Updated
Dec 21, 2017 - PHP
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
-
Updated
Jan 12, 2021 - 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."
Thor currently creates objects over the mbus protocol at various places (see below for a list); it does that by directly constructing protocol messages. To make the code more maintainable (e.g., such that we can later restructure the architecture of mbus and resolve issues #158 #159 #160), it would be beneficial to refactor Thor to use an abstraction over mbus instead. This abstraction can be simi