Intro to Microkernels & seL4 🚀
Week 1 lecture on microkernels, focusing on seL4 principles, mechanisms, and overview in COMP9242 2022.
The seL4 Microkernel
11.5K views • Jun 1, 2022
About this video
COMP9242 2022 Week 1, first lecture
- Brief introduction of microkernels in general and seL4 in particular
- seL4 principles and overview of mechanisms
- seL4 IPC and Notifications
- Brief introduction of microkernels in general and seL4 in particular
- seL4 principles and overview of mechanisms
- seL4 IPC and Notifications
Video Information
Views
11.5K
Likes
204
Duration
01:39:47
Published
Jun 1, 2022
User Reviews
4.6
(2) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.