Gernot Heiser
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- linux.conf.au2 editions2020–2022
on a stage with
- Jakub Jermářonce
- Julian Stecklinaonce
- Martin Děckýonce
all 6 in the filters
who talks about the same things
- Alistair Francis10 talks
- Drew Fustini21 talks
- Boyd Multerer4 talks
- Ben Dooks12 talks
- Stephano Cetola6 talks
- Calista Redmond37 talks
| title | conference | date |
|---|---|---|
| The seL4 Foundation – growing through upheaval | linux.conf.au 2022 | 2022-01-14 |
seL4 is a ~10–15k line C microkernel with machine-checked proofs of functional correctness, binary translation and security enforcement, open-sourced under… | ||
| The seL4 Report | FOSDEM 2021 | 2021-02-06 |
What happened in seL4 land in the past 12 months
I will provide an update on developments in the seL4 ecosystem in the past 12 months. Highlights include the… | ||
| State of Microkernels in 2021 | FOSDEM 2021 | 2021-02-06 |
Panel Discussion
Panel discussion and an extended Q&A session on the state of microkernel-based operating systems in 2021 and related topics. The panelists… | ||
| Verified seL4 on secure RISC-V processors | linux.conf.au 2020 | 2020-01-13 |
seL4 is ported and running on RISC-V hardware (tested on SiFive HiFive Unleashed) with IPC latency comparable to ARM; HENSOLDT funds a full verification effort… | ||
| nothing matches | ||