HelenOS features in a single screenshot. The image depicts the HelenOS graphical user interface, networking, filesystems, and a multithreaded, multiprocessor 64-bit kernel in action. The Colorful Prague picture used in the screenshot is a courtesy of Miroslav Petrasko. HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch. It decomposes key op