~/talk

The seL4 Foundation

Talkat FOSDEM 2021 · on Saturday, 2021-02-06· at 11:10· D.microkernel· [open-source]

speaker

name:June Andronick
links:none on file

resources

video:https://video.fosdem.org/2021/D.microkernel/microkernel_sel4_foundation.mp4
slides:none on file

summary

Overview of the seL4 Foundation: a Linux Foundation project formed in April 2020 that provides an open, neutral framework for developing the seL4 microkernel and its ecosystem. Covers the Foundation’s goals, activities to promote seL4 and its ecosystem, and the membership benefits and reasons to get involved.

AI-written summary · about

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.