HelenOS - with Martin Decky

Syslog

Show Notes and Links

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 [e-mail] 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

Chapitres

1. Intro (00:00:00)

2. Charles University (00:04:38)

3. Huawei Research Center in Dresden (00:08:14)

4. Early History of HelenOS (00:10:10)

5. Publication and Professionalization (00:15:06)

6. Manpower in OS Development (00:19:57)

7. HelenOS is practically usable (00:22:03)

8. Design Aspects (00:25:01)

9. Avoidance of Anti-Patterns (00:33:53)

10. Boot into a usable System (00:38:25)

11. HelenOS as Teaching Tool (00:42:15)

12. Julian randomly insulting People (00:48:27)

13. The Golden Era of Microkernels (00:49:47)

14. Outro (00:59:37)