Saturday |
| |
Welcome and Introduction |
Microkernel |
10:00 |
10:10 |
| |
The seL4 Report
What happened in seL4 land in the past 12 months |
Microkernel |
10:10 |
11:10 |
| |
The seL4 Foundation
what it is and why you should get involved |
Microkernel |
11:10 |
11:55 |
| |
libioth
The definitive API for the Internet of Threads |
Microkernel |
11:55 |
13:05 |
| |
Pluggable device drivers for Genode |
Microkernel |
13:05 |
13:45 |
| |
Hardware acceleration for unikernels |
Microkernel |
13:45 |
14:25 |
| |
Is the Time Ripe for Unikernels to Become Mainstream with Unikraft?
Building extremely Fast, Specialized Unikernels the Easy Way |
Microkernel |
14:25 |
15:05 |
| |
State of Microkernels in 2021
Panel Discussion |
Microkernel |
15:05 |
16:05 |