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

80 followers
About
HelenOS's posts

Post has attachment
Public
Interested in microkernels and component-based operating systems? Make sure to visit the Microkernel devroom at +FOSDEM 2017.

Post has attachment
Public
The generic 4-level page table framework implementation in HelenOS has been sufficient to support all hardware targets for more than 10 years. Now we have to extend it as Intel introduces 5-level paging. https://software.intel.com/sites/default/files/managed/2b/80/5-level_paging_white_paper.pdf
Photo

Post has attachment
Public
By tomorrow it will have been a week since we decamped from HelenOS Camp 2016. So while the memory is fresh, it's time for a short summary.

Post has attachment
Public
HelenOS Camp 2016 is finally taking off. We are starting with new gadgets showcase. You can still drop by if you like: http://www.helenos.org/wiki/Camp2016
Photo
Photo
2016-08-28
2 Photos - View album

Post has attachment
Public
HelenOS compiled under Windows Subsystem for Linux and run in QEMU (also under WSL). It works surprisingly well.
Photo

Post has attachment
Public
HelenOS Camp 2016: Let's meet for a week full of coding, debugging and debating HelenOS.

Post has shared content
Public
And one more #techtalk: “Microkernels and component-based operating systems” by Jakub Jermář http://slideslive.com/38896257/microkernels-and-componentbased-operating-systems
Photo

Post has attachment
Public
A community-managed list of microkernel projects.

Post has attachment
Our application for this year's +Google Summer of Code has been submitted. Wish us luck.

Post has shared content
Slides from my +FOSDEM talk about porting +HelenOS to +RISC-V. I am resuming my work on the project now.
Wait while more posts are being loaded