Microkernel Design & seL4 Insights 🛠️
Explore 25+ years of microkernel development leading to seL4's design and implementation highlights.
CSeLearning
1.2K views • Jun 29, 2020
About this video
Goes through some of the learnings from 25+ years of designing and implementing high-performance microkernels that had led to seL4 being the way it is.
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
1.2K
Likes
11
Duration
01:27:32
Published
Jun 29, 2020
User Reviews
4.2
(1) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.