Syslog

podcast@ukvly.org ()
Syslog

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

Episodes

  1. 11/03/2021

    Scheduling - with Michael Roitzsch

    Syslog

    1h 33m

  2. 24/12/2020

    State of Hardware 2020 - with Werner Haas

    Syslog

    1h 21m

  3. 15/09/2020

    HelenOS - with Martin Decky

    Syslog

    1h 1m

  4. 10/08/2020

    Formal Methods - with Marius Melzer

    Syslog

    1h 4m

  5. 23/06/2020

    Intel SGX - with Jo Van Bulck

    Syslog

    1h 15m

  6. 09/05/2020

    L4 and L4Re - with Michael Hohmuth

    Syslog

    56 min

  7. 23/04/2020

    Contact Tracing Apps - with Michael Roitzsch

    Syslog

    1h 17m

  8. 01/03/2020

    Sustainability - with Michael Engel

    Syslog

    1h 5m

  9. 06/02/2020

    Genode Labs - with Norman Feske

    Syslog

    58 min

  10. 20/12/2019

    Ada and SPARK - with Alexander Senier

    Syslog

    1h 17m

  11. 18/12/2019

    Episode 0 - Teaser

    Syslog

    3 min
  • 11 Episodes

About

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

Information

  • Creator
    podcast@ukvly.org ()
  • Years Active
    2019 - 2021
  • Episodes
    11
  • Rating
    Clean
  • Copyright
    © CC BY-SA 4.0
  • Show Website
    Syslog

To listen to explicit episodes, sign in.

Stay up to date with this show

Sign in or sign up to follow shows, save episodes and get the latest updates.
Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada