State of Microkernels in 2021

" summary

A panel discussion covering the current state of microkernel-based operating systems in 2021, featuring contributors from HelenOS, Kernkonzept, Genode Labs, Cyberus, BedRock Systems and seL4. Participants will discuss microkernel projects and implementations (HelenOS, Genode, seL4, etc.) and take extended audience Q&A on related technical and ecosystem topics.

AI-written summary · about

" related talks

• 48mPanel Discussion: Do One Thing, and Do It Well: Special Purpose OSes Apply the Unix App Philosoph...Felipe Huici, Danielle Tal, Sean McGinnis, Frederic Crozat, Erik Nordmark · CloudOpen at Open Source Summit Europe 2024
• 43mLinux Kernel PanelSarah Sharp, Greg Kroah-Hartman, Ric Wheeler, Linus Torvalds, Tejun Heo · LinuxCon & CloudOpen North America 2013
• 36mLinux Kernel Developer PanelGreg Kroah-Hartman, Shuah Khan, Linus Torvalds, Andrew Morton, Andy Lutomirski · LinuxCon + CloudOpen North America 2014
• 24mKeynote: Status of Embedded LinuxTim Bird · Embedded Linux Conference + OpenIoT Summit Europe 2016
• 48mLinux Kernel Developer PanelMatthew Garrett, Greg Kroah-Hartman, Jon Corbet, Dave Chinner, Jens Axboe, Mel Gorman · Linux Foundation Collaboration Summit 2014
• 50mLinuxCon + CloudOpen Europe 2013: Kernel Developer PanelGreg Kroah-Hartman, Will Deacon, Sebastian Hesselbarth, Peter Zijlstra, Jon Corbet · LinuxCon + CloudOpen Europe 2013
• 50mMultikernel Architecture: Kernel-to-Kernel Isolation and Resource ManagementCong Wang · Linux Plumbers Conference 2025
• 44mLinux Kernel Developer PanelGrant Likely, Julia Lawall, Thomas Gleixner, Jon Corbet, Borislav Petkov, Frédéric Weisbecker · LinuxCon + CloudOpen Europe 2014