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 Martin has shaped HelenOS and HelenOS has shapedMartin for almost the last two decades.

Join us while we cover the beginnings of HelenOS, its designphilosophy, 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.

Resources

• 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