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 ...

The MicroKernel does not care whether work originates from HTTP, CLI, gRPC, queues, cron jobs, daemons, or another runtime adapter. It does care that every unit of work follows a predictable lifecycle ...

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 ...

This repository demonstrates a microkernel (plug-in) architecture. A small core system provides the base capabilities, and plugins extend or customize behavior. This pattern is common in IDEs, rule ...

Hypervisors are used widely in enterprise servers, and the number of offerings in the embedded space continues to ramp up. Hypervisors are used for virtualization and provide some level of isolation, ...