L4 and L4Re - with Michael Hohmuth

Show Notes and Links

Flo and Julian talk with Michael Hohmuth, who is the head andco-founder of Kernkonzept. Michael wasalready interested in operating systems before he joined the OS groupat TU Dresden. He started to write thefirst L4 variant in a high-levellanguage when the state of theart was to write them in assembly.

Many years later, Michael together with other long-time L4 developerscontinue their passion at Kernkonzept. We talk with Michael about howL4 began and evolved in Dresden, how work continues at Kernkonzept andhow L4 eventually powered a smart oven (among other things, ofcourse).

Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to [email protected] or via Twitter.Resources L4 Microkernel Family The Performance of µ-Kernel-based Systems The Nizza Secure-System Architecture Genua L4Re Kernkonzept Kernkonzept Github ELAN programming language SOSP Conference SiMKo 3 phone Elektrobit Rob Pike: Systems Software Research is Irrelevant Singularity OS Fuchsia OSDev Wiki

Syslog

Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.

• No. of episodes: 11
• Latest episode: 2021-03-11
• Technology

Where can you listen?