L4 and Fast Interprocess Communication 🚀
Explore L4 microkernel and efficient IPC methods in operating systems, with notes from CS4414 class on microkernels.
David Evans
15.4K views • May 12, 2014
About this video
cs4414: Operating Systems (http://rust-class.org)
Class 22: Microkernels and Beyond
Embedded notes are available at:
http://rust-class.org/class-22-microkernels-and-beyond.html
Segment 3: L4 and Fast IPC
L4
Fast IPC
Tradeoffs in Microkernel Design
Benefits of Small Kernels
seL4
Class 22: Microkernels and Beyond
Embedded notes are available at:
http://rust-class.org/class-22-microkernels-and-beyond.html
Segment 3: L4 and Fast IPC
L4
Fast IPC
Tradeoffs in Microkernel Design
Benefits of Small Kernels
seL4
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
15.4K
Likes
288
Duration
13:36
Published
May 12, 2014
User Reviews
4.6
(3) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now