Show Notes and Links MichaelRoitzschreturns to Syslog and we talk about scheduling in operatingsystems. Michael has focussed his research on soft real-time systemsand explored, among other things, how good scheduling can help withsmooth video display. In this episode, we introduce basic schedulingconcepts, what is happening in scheduling today and …

Show Notes and Links Werner Haas, resident hardware expert and colleague at CyberusTechnology, joins Floand Julian to talk about the state of processor hardware in 2020. We discuss instruction set archicture (ISA) in the context of the x86vs. ARM vs. RISC-V debate and why CPU ISA might not be that importantfor performance and battery life after all…

Show Notes and Links In this episode, we talk with Martin Deckyabout HelenOS. HelenOS is a modularmultiserver operating system based on a custom microkernel. It hasbeen implemented by a group of people at the CharlesUniversity in Prague and is unusual for being anon-commercial operating system project with such a long history. Itis fair to say that…

Show Notes and Links Flo and Julian managed to get Marius Melzerinto the recording studio and talk with him about his passion: FormalVerification. In this episode, we make a broader sweep compared to ourearlier spotlight on Ada/SPARKand touch on many projects that are on-going in the formalverification community. We discuss how to get going with fo…

Show Notes and Links Flo and Julian invited Jo VanBulck to the SyslogPodcast. Jo is probably best known for discovering theForeshadow vulnerability in IntelCPUs, but his research is into the broader security of TrustedExecution Environments (TEEs). In this episode, we’ve picked the mosthigh-profile TEE technology: Jo guides us through the confusing…

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 …

Show Notes and Links Flo and Julian talk with MichaelRoitzschwho is the acting head of the Chair of Operating Systems at our almamater and researcher at the BarkhausenInstitute. Michael currentlyparticipates in the PEPP-PT project andshares his insights on the technical and political challengessurrounding SARS-CoV-2 contact tracing apps. Discuss th…

Show Notes and Links Flo and Julian talk with MichaelEngel who went fromteaching operating systems fundamentals in Germany to researchingsustainability at the NTNU in Norway. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to podcast@ukvly.org or via Twitter. Resources Dirty ships Plea for a Holistic An…

Show Notes and Links Flo and Julian talk with Norman Feske, one of the founders of GenodeLabs, about how to turn an idea into acompany. We touch on operating system research, the Genode OSFramework, and SculptOS. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to podcast@ukvly.org or via Twitter. FOSDEM…

Show Notes and Links Flo and Julian talk to Alexander Senier aboutAda,SPARK and how to build reliableand trustworthy software. We also talk about Alexander’s company,Componolit. Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to podcast@ukvly.org or via Twitter. Resources to get started awesome Ada: A c…

Show Notes and Links Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly. Send feedback to podcast@ukvly.org or via Twitter.By Flo and Julian