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