HelenOS-specification-driven operating system development aiming for a functional system.
This project is the brainchild of students hailing from the Faculty of Mathematics and Physics at Charles University in Prague. Under the BSD license, the source code powering HelenOS is readily accessible to anyone who wishes to make use of it, while third-party components are made available under GPL. For questions about the project or general interest in it, you can sign up for the HelenOS mailing list.
With heavy development still ongoing, the HelenOS project is very keen to accept the help of new beta testers. For those who are interested in joining the team, this presents a great opportunity to become a developer of tomorrow.
Version 0.4.1: N/A