HelenOS group at Department of Distributed and Dependable Systems, Charles University in Prague
License: New and Simplified BSD licenses
Web Page: http://www.helenos.org/gsoc2014
Mailing List: http://lists.modry.cz/cgi-bin/listinfo/helenos-devel
[IMAGE http://www.helenos.org/imgs/logo_gsoc.png] HelenOS is a state-of-the-art operating system based on microkernel multiserver design principles. HelenOS decomposes key operating system functionality (including device drivers, file systems and networking) into many isolated but intensively communicating server processes that reside entirely in user space. HelenOS thus provides a computing environment that has several virtues, such as flexibility, increased robustness, well-defined explicit interfaces and reduced complexity as compared to other operating system architectures.
HelenOS does not aim to be another clone of Unix or some other legacy operating system and is not POSIX-compliant (even though it may seem POSIX-similar at times). Instead, we try to design it according to our taste and sense for what is the most elegant and right thing to do. What makes HelenOS unique among the other multiserver operating systems is its portability and understandable source code. HelenOS currently runs on 7 different processor architectures, ranging from a 32-bit uniprocessor little-endian ARMv4 and a commodity PC with x86 and x86-64 processors to a 64-bit multicore big-endian UltraSPARC T1.
Department of Distributed and Dependable Systems (D3S for short) at Charles University in Prague is responsible for research and education in the advanced techniques for building dependable component-based software. This also comprises our work on HelenOS.
Projects
- Driver for RTL8169 Gigabit Ethernet Controller This project aims to write driver for Realtek RTL8169 Gigabit Ethernet controller for HelenOS. RTL8169 is popular GigE controller, which can be found in many consumer mainboards.