Saturday |
| |
Introduction |
Microkernel and Component-based OS |
10:40 |
10:50 |
| |
Advanced Unit Testing in the Hedron Microkernel |
Microkernel and Component-based OS |
10:50 |
11:20 |
| |
A practical solution for GNU/Hurd's lack of drivers: NetBSD's rumpkernel framework |
Microkernel and Component-based OS |
11:20 |
11:50 |
| |
Genode meets the Pinephone |
Microkernel and Component-based OS |
11:50 |
12:40 |
| |
Managarm: Design of a pragmatic fully-asynchronous microkernel |
Microkernel and Component-based OS |
12:40 |
13:15 |
| |
Debugging and Monitoring in Unikraft
Everything beyond printf() |
Microkernel and Component-based OS |
13:15 |
13:50 |
| |
Hardware accelerated applications on Unikernels for Serverless Computing |
Microkernel and Component-based OS |
13:50 |
14:30 |
| |
UX/RT - a QNX-like OS based on seL4 |
Microkernel and Component-based OS |
14:30 |
15:00 |
| |
RedLeaf: Isolation and Communication in a Safe Operating System |
Microkernel and Component-based OS |
15:00 |
15:45 |
| |
The Composite Component-Based OS |
Microkernel and Component-based OS |
15:45 |
16:30 |
| |
Mitigating Processor Vulnerabilities by Restructuring the Kernel Address Space |
Microkernel and Component-based OS |
16:30 |
17:05 |
| |
Unhackable across 30 Years, End in Sight |
Microkernel and Component-based OS |
17:05 |
18:00 |