GitHub

LiquidRazor MicroKernel

The LiquidRazor MicroKernel is the lifecycle authority for isolated executable work inside the LiquidRazor Framework. It is transport-agnostic, but not runtime-naive. The MicroKernel does not care ...
GitHub

SILA_Microkernel_Internals_Design_V0.1.md

This document elaborates on the Microkernel SILA Design Specification V0.1 from Stage 1, providing a more granular view of the Skyscope OS microkernel's internal data structures and operational logic ...
Electronic Design

What’s the Difference between Separation Kernel Hypervisor and Microkernel?

The Separation Kernel Hypervisor and Microkernel technologies have emerged as the leading contenders in hosting next-generation embedded safety and security critical compute platforms. Both ...
Design-Reuse

Application Specific Real-Time Microkernel in Hardware

Real-time operating system kernels in embedded systems need to be configurable. Unfortunately many of today's commercial real-time kernels are monolithic. These optimized code packages are difficult ...