-
Updated
May 14, 2021 - Makefile
#
microkernel
Here are 118 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
May 10, 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
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
Apr 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
May 8, 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
华为鸿蒙分布式操作系统（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
May 19, 2021 - 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
May 13, 2021 - C++
c
raspberry-pi
microcontroller
kernel
assembly
osdev
operating-system
unix-like
microkernel
cute-engineewing
-
Updated
May 14, 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 8, 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
The core components of the L4Re operating system.
-
Updated
May 13, 2021 - C++
Rust implementation of Xinu educational operating system
-
Updated
Oct 19, 2020 - Rust
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."
This is required to implement
alarm()in libc and used by programs such aspv.