-
Updated
Oct 31, 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 134 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++
avdgrinten
commented
May 26, 2021
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
A portable microkernel-based multiserver operating system written from scratch.
-
Updated
Nov 4, 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
Nov 5, 2021 - C
Open
UEFI stub
nuta
commented
Dec 5, 2020
-
Updated
Nov 11, 2021 - 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
Oct 29, 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
Nov 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
Phoenix-RTOS microkernel repository
-
Updated
Nov 10, 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
May 27, 2021 - Ada
The development version of the Fiasco.OC microkernel
-
Updated
Nov 11, 2021 - POV-Ray SDL
c
linux
raspberry-pi
microcontroller
kernel
assembly
osdev
operating-system
unix-like
microkernel
cute-engineewing
-
Updated
Jun 10, 2021 - C++
MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multiple equally secure worlds. Unlike antiquated hypervisor-like solutions, MultiZone is self-contained, presents an extremely small attack surface, and it is policy driven, meaning that no coding is required – and in fact even allowed. MultiZone works with any 32-bit or 64-bit RISC-V processors with standard Physical Memory Protection unit (PMP) and “U” mode.
security
fpga
firmware
hypervisor
container
freertos
xilinx
microkernel
secure-boot
risc-v
trustzone
tee
arty
trusted-computing
sifive
multizone
trusted-execution-environment
secure-element
root-of-trust
polarfire-soc
-
Updated
Nov 8, 2021 - C
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
-
Updated
Jan 12, 2021 - C
Use Symfony as a microframework.
-
Updated
Dec 21, 2017 - PHP
Rust operating system running WebAssembly as userspace in ring 0
-
Updated
Jan 11, 2021 - Rust
- Wikipedia
- Wikipedia
Most of the times when an invocation fails it calls
userError
to provide some additional diagnostics about what is going wrong.However, there are a few places over the kernel where this is missed. It would be great to have this in all places.
As an extension it would be even better to include additional diagnostics information on the failure. For example: