Intro to Microkernels & seL4 πŸš€

Week 1 lecture on microkernels, focusing on seL4 principles, mechanisms, and overview in COMP9242 2022.

Intro to Microkernels & seL4 πŸš€
The seL4 Microkernel
11.5K views β€’ Jun 1, 2022
Intro to Microkernels & seL4 πŸš€

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

Video Information

Views

11.5K

Likes

204

Duration

01:39:47

Published

Jun 1, 2022

User Reviews

4.6
(2)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.