Saturday |
| |
Opening note |
Microkernels |
10:30 |
10:35 |
| |
An exploration of the seL4 kernel from Genode's perspective |
Microkernels |
10:40 |
11:25 |
| |
Porting HelenOS to RISC-V |
Microkernels |
11:35 |
12:25 |
| |
This is not a lunch break
Let's discuss microkernel-related topics while eating |
Microkernels |
12:30 |
13:25 |
| |
Tools that helped to build HelenOS |
Microkernels |
13:30 |
14:00 |
| |
Porting Nix to Genode
Package management without a canonical file system |
Microkernels |
14:10 |
14:35 |
| |
Hurd, Rump kernel, sound, and USB |
Microkernels |
14:45 |
15:05 |
| |
Always in the shadow: the history of Minix-vmd |
Microkernels |
15:15 |
15:45 |
| |
Genode's TrustZone demo on the USB Armory
Application of Genode as microhypervisor for Linux on an open source computer - story, design, and use |
Microkernels |
15:55 |
16:25 |
| |
The MH experiment
A hardware-inspired microkernel interface. |
Microkernels |
16:35 |
17:00 |
Sunday |
| |
EdgeBSD: Status report
Living on the edge |
BSD |
09:00 |
10:00 |
| |
Interesting Things You Can Do With ZFS |
BSD |
10:05 |
11:05 |
| |
Contributing to the Graphics stack on FreeBSD
Help us improve our packages and kernel drivers |
BSD |
11:10 |
11:55 |
| |
FreeBSD/Xen update
News from FreeBSD and Xen |
BSD |
12:00 |
13:00 |
| |
Could Haiku ever become a BSD?
What BSD gave us, what we could still gain from it. |
BSD |
13:05 |
13:40 |
| |
Open/LibreSSL in FreeBSD
State of OpenSSL and LibreSSL in ports and base |
BSD |
13:45 |
14:30 |
| |
ElectroBSD - Getting a reproducible BSD out of the door |
BSD |
14:35 |
15:35 |
| |
Reproducible builds in FreeBSD packages |
BSD |
15:40 |
16:40 |