Exokernels (and beyond?)
Published 2014-05-12Download video
Recommendations
-
13:36 L4 and Fast Interprocess Communication
-
49:29 22 Apr 2015: Exokernels
-
15:05 Log-Structured File Systems
-
18:21 Microkernels
-
18:27 Introducing Rust
-
33:45 From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
-
28:46 Exokernel Operating System
-
34:26 "Look ma, no OS! Unikernels and their applications" by Matt Bajor
-
23:16 Operating System Basics
-
11:27 The First Real Operating Systems
-
53:43 A reimplementation of NetBSD based on a microkernel by Andy Tanenbaum
-
17:31 Implementing System Calls
-
17:24 Modern Page Tables: Multi-Level Paging
-
19:27 Structures of Operating System
-
04:35 Exokernel Approach to Extensibility - Georgia Tech - Advanced Operating Systems
-
15:43 From Multics to Android
-
03:30 microkernel (Explanation)
Similar videos
-
03:55 CS 134 OS—19: Exokernels-Microkernels
-
08:43 CS 134 OS—19: Exokernels-CPU
-
07:05 CS 134 OS—19: Exokernels-IPC
-
04:05 CS 134 OS—19: Exokernels-Conclusion
-
27:30 The Antikernel
-
05:43 CS 134 OS—19: Exokernels-Exokernel
-
03:11 Performance Results of Spin and Exokernel - Georgia Tech - Advanced Operating Systems
-
00:38 Exokernel vs Spin Quiz - Georgia Tech - Advanced Operating Systems
-
04:41 Default Core Services in Exokernel - Georgia Tech - Advanced Operating Systems
-
09:41 Read a paper: Exokernel: An Operating System Architecture for Application-Level Resource Management
-
08:04 Exokernel
-
01:34 Exokernel vs Spin Quiz Solution - Georgia Tech - Advanced Operating Systems
-
00:50 Code Usage by Exokernel Quiz - Georgia Tech - Advanced Operating Systems
-
19:56 3 Exokernel An Operating System Architecture for Application Level Resource Management
-
03:22 Default Core Services in Exokernel (cont) - Georgia Tech - Advanced Operating Systems
-
07:18 What Should Be in the Kernel?