HelenOS
技術的な概要
マイクロカーネルはマルチタスクとメモリー管理、プロセス間通信を扱う。
また、カーネルベースのスレッドを提供し、対称型マルチプロセッシングをサポートしている。
マイクロカーネル設計に典型的なように、ファイルシステム、ネットワーク、デバイスドライバー、グラフィカルユーザーインターフェイスは、それぞれ独立したユーザースペースのコンポーネントの集合として実装されており、コンポーネントの集合はメッセージバスで通信する。
それぞれのプロセス(タスクと呼ばれる)は、複数のスレッド(カーネルによるプリエンプティブにスケジューリングされる)を持つことができる。また、ユーザースペースで協調的にスケジューリングされたファイバーを持つこともできる。
デバイスドライバーとファイルシステムドライバーは、他のシステムサービスと同様にユーザースペースのタスクの集合(サーバー)として実装されている。これにより、HelenOSはマルチサーバーな特徴を持つこととなっている。
タスクはコネクション指向で非同期的なHelenOS IPCにより通信する。
これは、固定長のメッセージを送信したり、一連のバイト列を送信したり、メモリーの共有をネゴシエートするのに利用できる。
メッセージは、多量のデータをコピーしたり、中間のタスクのアドレス空間をメモリーマッピングすることなく転送できる。
開発
HelenOSの開発はコミュニティーにより行われている。開発者コミュニティーは、少人数のコアチームと、世界各地の多数のコントリビューターからなっている。コアチームは、プラハ・カレル大学数物学部の教員や学生、卒業生が主になっている。

2011年と2012年、2014年には、HelenOSはGoogle Summer of Codeに指導組織として参加した。
2013年には、Space 2013プログラムのESA Summer of Codeに指導組織として参加した。
HelenOSのソースコードは、BSDライセンスで公開されている。いくつかのサードパーティーのコンポーネントはGNU General Public Licenseが適用されている。
両方のライセンスはフリーソフトウェアライセンスであり、これによりHelenOSはフリーソフトウェアとなっている。
ハードウェアサポート
HelenOSは、ARMやx86-64、IA-32、IA-64 (Itanium)、MIPS、
PowerPC (32ビットのみ)、SPARC V9のCPUアーキテクチャーで動く。
シミュレーター上で動くだけでなく、実際のハードウェアで動く例も存在する。
HelenOSは、PATAやSATA、USBマスストレージ、USB HID、Atheros製のチップを搭載したUSB Wi-Fiアダプター、いくつかのイーサネットカード、シリアルポート、キーボード、マウス、フレームバッファーをサポートしている。
研究用途と学術的用途
HelenOSはプラハ・カレル大学の分散ディペンダブルシステム部門によるソフトウェアコンポーネントと検証についての研究に利用されている。

それ以外にも、学生によるソフトウェアプロジェクトや修士論文のためのプラットフォームとしても利用されている。