HelenOS
Written in | C |
---|---|
OS family | Multiserver operating systems |
Source model | Open source |
Initial release | June 11, 2006 |
Latest preview | 0.12.1[1] / 16 December 2022 |
Repository | |
BSD-3-Clause[3] | |
Official website | www |
HelenOS[4][5][6][7] is an operating system based on a multiserver microkernel design.[8] The source code of HelenOS is written in C and published under the BSD-3-Clause license.[3]
The system is described as a “research development open-source operating system”.[9]
Technical overview
The microkernel handles
Typical to microkernel design, file systems, networking, device drivers and graphical user interface are isolated from each other into a collection of user space components that communicate via a message bus.
Each process (called task) can contain several
Tasks communicate via HelenOS IPC, which is
Development
HelenOS development is community-driven. The developer community consists of a small core team, mainly staff and former and contemporary students of the Faculty of Mathematics and Physics at
The
Hardware support
HelenOS runs on several different
HelenOS supports
Research and academic use
HelenOS is being used for research[17][18] in the area of software components and verification by the Department of Distributed and Dependable Systems, Charles University, Prague. Besides that, HelenOS has been used by students as a platform for software projects and master theses.[19]
References
- ^ "Release Notes for HelenOS 0.12.1". 19 December 2022.
- ^ "HelenOS". GitHub. 22 April 2022.
- ^ a b c "License – HelenOS". Archived from the original on 2016-03-10. Retrieved 2021-06-18.
- ^ hpr1447 :: HPR Coverage at FOSDEM 2014 Part 1/5
- ^ HelenOS Micro-Kernel OS Still Marching On
- ^ HelenOS - the operating system that launched a thousand processes, DistroWatch Weekly, Issue 350, 19 April 2010
- ^ HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář
- ISBN 9783642135569.
- user-generated source]
- ^ HelenOS Contributors measured by Ohloh
- ^ List of projects accepted into Google Summer of Code 2011
- ^ List of projects accepted into Google Summer of Code 2012
- ^ List of projects accepted into Google Summer of Code 2014
- ^ "Selected mentoring organizations". Archived from the original on 2017-07-16. Retrieved 2020-01-11.
- ^ HelenOS analysis by Ohloh
- ^ FOSDEM (2019-02-11), Lessons learned from porting HelenOS to RISC-V Pros and cons of RISC-V from a microkernel OS point …, archived from the original on 2021-12-22, retrieved 2019-02-25
- ^ Institutional research plan MSM0021620838 - Modern methods, structures and systems of computer science (2005-2011, MSM)
- ^ Research @ D3S
- ^ Defended HelenOS theses at Faculty of Mathematics and Physics, Charles University in Prague[permanent dead link]