HelenOS - with Martin Decky

In this episode, we talk with Martin Decky about HelenOS. HelenOS is a modular multiserver operating system based on a custom microkernel. It has been implemented by a group of people at the Charles University in Prague and is unusual for being a non-commercial operating system project with such a long history. It is fair to say that Martin has shaped HelenOS and HelenOS has shaped Martin for almost the last two decades.

Join us while we cover the beginnings of HelenOS, its design philosophy, and its struggles over its long lifetime.

Additional sound effects from https://www.zapsplat.com.

• Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
• Send feedback to podcast@ukvly.org or via Twitter.

• MS-DOS
• Turbo Pascal
• Not Invented Here
• HelenOS Project
• HelenOS Source Code
• HelenOS precompiled boot images
• Martin’s PhD thesis, describing design principles of HelenOS
• List of open source microkernel projects (maintained by Jakub Jermar)
• Department of Distributed and Dependable Systems at Charles University
• Operating Systems course at Charles University
• Abstraction Inversion Anti-Pattern