Profile cover photo
Profile photo
HelenOS
85 followers -
Open-source microkernel multiserver operating system
Open-source microkernel multiserver operating system

85 followers
About
Posts

Post has attachment
Public
The traditional annual HelenOS hackathon, a.k.a. HelenOS (Kids) Camp 2018, starts on August 25. Interested passers-by are welcome. Family friendly. More info at http://www.helenos.org/wiki/Camp2018
Photo
Add a comment...

Post has attachment
Public
Towards capabilities in HelenOS: The elephant in the room. A talk by +Jakub Jermář at the Microkernel devroom at +FOSDEM 2018.
Add a comment...

Post has shared content
Public
HelenOS USB 3.0 support coming soon: reading Genode 12.05 Release Notes from a flash drive attached to XHCI. Courtesy of the HelUSB3 project.
Add a comment...

Post has attachment
Public
HelenOS 0.7.1 (Enlightened Zeal) has been released. See our release notes for details: http://www.helenos.org/wiki/ReleaseNotes/0.7.1
As a side note, we are also switching to Git.
HelenOS/helenos
HelenOS/helenos
github.com
Add a comment...

Post has attachment
Public
Add a comment...

Post has attachment
Public
HelenOS (Kids) Camp 2017 Report
HelenOS (Kids) Camp 2017 Report
jakubsuniversalblog.blogspot.be
Add a comment...

Post has attachment
Public
Simple HelenOS coastline package installation. Blogpost: http://jiri-svoboda.blogspot.cz/2017/08/simple-helenos-coastline-package.html
Add a comment...

Post has attachment
Public
A short article about HelenOS in +HACKADAY.
Add a comment...

Post has attachment

Post has shared content
Add a comment...
Wait while more posts are being loaded