The Wayback Machine - https://web.archive.org/web/20220708111447/https://github.com/topics/microkernel
Skip to content
#

microkernel

Star

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 156 public repositories matching this topic...

Language: All
Filter by language
All 156 C 71 C++ 24 Rust 19 Java 5 JavaScript 5 Assembly 4 PHP 3 C# 2 TeX 2 Ada 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

seL4 / seL4

Star 3.5k
Open

Not all error returns have a userError call prior to return

3
bennoleslie
bennoleslie commented Sep 6, 2021

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:

    if (length < 6 || cur
Read more
enhancement good first issue

managarm / managarm

Star 924
Open

thor: Refactor mbus infrastructure

avdgrinten
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

Read more
enhancement good first issue
Find more good first issues

hex-five / multizone-sdk

Star 56

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 Feb 24, 2022
  • C
Wikipedia
Wikipedia