Jump to content
 







Main menu
   


Navigation  



Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Donate
 




Contribute  



Help
Learn to edit
Community portal
Recent changes
Upload file
 








Search  

































Create account

Log in
 









Create account
 Log in
 




Pages for logged out editors learn more  



Contributions
Talk
 



















Contents

   



(Top)
 


1 Technical overview  





2 Development  





3 Hardware support  





4 Research and academic use  





5 References  





6 External links  














HelenOS






Català
Čeština
Esperanto

Português
Русский
Simple English
Svenska
Türkçe
 

Edit links
 









Article
Talk
 

















Read
Edit
View history
 








Tools
   


Actions  



Read
Edit
View history
 




General  



What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Cite this page
Get shortened URL
Download QR code
Wikidata item
 




Print/export  



Download as PDF
Printable version
 
















Appearance
   

 






From Wikipedia, the free encyclopedia
 


HelenOS

Example applications

Written in

C

OS family

Multiserver operating systems

Source model

Open source

Initial release

June 11, 2006; 18 years ago (2006-06-11)

Latest preview

0.14.1[1] Edit this on Wikidata / 19 May 2024

Repository

Package manager

coastline packages[2]

Platforms

IA-32, AMD64, IA-64, ARM, MIPS, PowerPC, SPARC V9, RISC-V

Kernel type

Microkernel

License

BSD-3-Clause[3]

Official website

www.helenos.org

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[edit]

The microkernel handles multitasking, memory management and inter-process communication. It also provides kernel-based threads and supports symmetric multiprocessing.

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 threads (preemptively scheduled by the kernel) which, in turn, can contain several fibers scheduled cooperatively in user space. Device and file-system drivers, as well as other system services, are implemented by a collection of user-space tasks (servers), creating thus the multiserver nature of HelenOS.

Tasks communicate via HelenOS IPC, which is connection oriented and asynchronous. It can be used to send small fixed-size messages, blocks of bytes or to negotiate sharing of memory. Messages can be forwarded without copying bulk data or mapping memory to the address space of middle-men tasks.

Development[edit]

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 Charles University in Prague, and a number of contributors around the world.[10] In 2011, 2012 and 2014, HelenOS participated in the Google Summer of Code as a mentoring organization.[11][12][13] In 2013, the project was a mentoring organization in the ESA Summer of Code in Space 2013 program.[14]

The source code of HelenOS is published under the BSD-3-Clause license, while some third-party components are available under the GNU General Public License.[3][15] Both of these licences are free software licenses, making HelenOS free software.

Hardware support[edit]

HelenOS runs on several different CPU architectures including ARM, x86-64, IA-32, IA-64 (Itanium), MIPS, PowerPC (32-bit only), SPARC V9 and RISC-V.[16] At some point in time[further explanation needed], various versions of HelenOS ran on real hardware from each architecture (as opposed to running only in a simulator of that architecture).

HelenOS supports PATA, SATA, USB mass storage, USB HID, an Atheros USB WiFi dongle, several Ethernet network cards, SoundBlaster 16 and Intel HDA audio devices, serial ports, keyboards, mice and framebuffers.

Research and academic use[edit]

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[edit]

  1. ^ "Release Notes for HelenOS 0.14.1". 19 May 2024.
  • ^ "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ář
  • ^ Architecting Critical Systems. Springer Berlin Heidelberg. 2010. p. 74. ISBN 9783642135569.
  • ^ https://www.facebook.com/HelenOS [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]
  • External links[edit]

    Kernels

    L4 family

  • OKL4°
  • Macintosh hosted

  • NuKernel
  • Psion

    Amiga-type

  • Quark
  • WarpOS
  • Operating
    systems

    POSIX support

  • Lites
  • MeikOS
  • Minix°
  • Minix 3°
  • MkLinux°
  • Multi-Environment Real-Time^ (MERTUnix-RT)
  • OS2000
  • QNX^
  • Redox°
  • Spring
  • Tinix
  • UNICOS
  • VSTa
  • Partial

  • Integrity^
  • Nucleus RTOS^
  • NuttX
  • OSE^
  • RIOT
  • Capability-based

  • Hydra
  • seL4
  • Midori
  • NLTSS
  • HarmonyOS NEXT (OpenHarmony, Oniro OS)HarmonyOS
  • L4 kernel

  • PikeOS^
  • REX OS^
  • Wombat
  • Java virtual machine

  • JX°
  • Macintosh hosted

    Unix-like

  • MacMach
  • Psion

  • EPOCSymbianOS
  • Amiga-type

  • AROS°
  • MorphOS
  • Microsoft

  • ThreadX^
  • Verve
  • AIM alliance

    Frameworks, kits

  • Cosmos°
  • Genode°
  • TI-RTOS
  • Developers

  • Thomas Bushnell
  • David Cheriton
  • Dan Dodge
  • Per Brinch Hansen
  • Gernot Heiser
  • Jochen Liedtke
  • James G. Mitchell
  • Ike Nassi
  • Richard Rashid
  • Andrew S. Tanenbaum
  • Avie Tevanian
  • William Wulf
    • Italics = discontinued
  • ^ = Real-time
  • ° = Open-source software
    Category: Microkernel-based operating systems Category: Microkernels
  • BareMetal
  • EmuTOS
  • FiwixOS
  • GeckOS
  • HelenOS
  • KolibriOS
  • MenuetOS
  • Phantom OS
  • Redox
  • SerenityOS
  • SharpOS
  • SkyOS
  • Syllable Desktop
  • SymbOS
  • TempleOS
  • ToaruOS
  •  List

  • Retrieved from "https://en.wikipedia.org/w/index.php?title=HelenOS&oldid=1210000831"

    Categories: 
    Free software operating systems
    Microkernel-based operating systems
    MIPS operating systems
    X86 operating systems
    Microkernels
    Software using the BSD license
    Hobbyist operating systems
    Hidden categories: 
    Accuracy disputes from August 2022
    All articles with dead external links
    Articles with dead external links from January 2020
    Articles with permanently dead external links
    Articles with short description
    Short description is different from Wikidata
    Wikipedia articles needing clarification from January 2019
     



    This page was last edited on 24 February 2024, at 14:33 (UTC).

    Text is available under the Creative Commons Attribution-ShareAlike License 4.0; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.



    Privacy policy

    About Wikipedia

    Disclaimers

    Contact Wikipedia

    Code of Conduct

    Developers

    Statistics

    Cookie statement

    Mobile view



    Wikimedia Foundation
    Powered by MediaWiki