Microkernels
13:36
L4 and Fast Interprocess Communication
42:05
24C3: Inside the Mac OS X Kernel
16:13
Microkernel Architectural Pattern | Software Architecture
53:43
A reimplementation of NetBSD based on a microkernel by Andy Tanenbaum
35:02
Real Time Operating Systems (RTOS) - Nate Graff
1:01:53
The Design of a Reliable and Secure Operating System by Andrew Tanenbaum
1:39:47
W01a: Introduction to microkernels and seL4
15:46