Microkernel Design & Implementation π₯οΈ
Explore the history, highlights, virtualization, and lessons of L4 microkernels and their role as hypervisors.

The seL4 Microkernel
950 views β’ Jul 20, 2022

About this video
- towards real microkernels: the history of L4 microkernels
- L4/seL4 implementation highlights
- virtualisation: microkernel as hypervisor
- lessons and principles
- L4/seL4 implementation highlights
- virtualisation: microkernel as hypervisor
- lessons and principles
Video Information
Views
950
Likes
18
Duration
01:39:08
Published
Jul 20, 2022
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.