-
Updated
Aug 30, 2021 - Makefile
#
microkernel
A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
Here are 123 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 31, 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
Aug 4, 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
Aug 15, 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 31, 2021 - Rust
-
Updated
Aug 31, 2021 - C
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
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
Aug 5, 2021 - POV-Ray SDL
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
Aug 14, 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
- Wikipedia
- Wikipedia
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