Видео с ютуба Micronuclee

Building a microkernel-based operating system from the ground up (skiftOS @ FOSDEM2026)

L4 microkernel on Neo 1973

Google Fuschia's Magenta Kernel on Raspberry Pi 3

Kernel inspection + UEFI loader deep-dive (PART 1/2) readelf, program headers, page math, loader.rs

A reimplementation of NetBSD based on a microkernel - Andy Tanenbaum

Mikrojądro

Microkernel Architecture Styles

Green Hills Integrity and micro kernel on Colibri iMX6 SoM

TUD:OS - the L4 SMP microkernel on ARM11 MPCore

Foenix F256 - "Foenix Rising" Journal Recap #4: Kernels, Kernals, & more (!!) mini-series

Microservices, Where Did It All Go Wrong? - Ian Cooper - NDC Melbourne 2025

Introducing The OKL4 SDK with Jono Sokolowski

Microkernel Notebooks

Tailoring the Linux Kernel and MPI to a Fast and Noise-free Microkernel, Carsten Weinhold

Lecture 04 Microkernels Fa2017

Microkernel Architecture: Conquer Downtime & Reign Supreme in System Performance!

How Do Monolithic Kernels Differ From Microkernels? - Tech Terms Explained

CS 134 OS—19: Exokernels—Monolithic Kernels

Understanding the Key Differences Between Monolithic and Microkernel Architectures

OS Evolution - Monolithic to Microkernel to Multikernel: embedded world 2021 DIGITAL