ライオンズオペレーティングシステム（LionsOS）は、seL4マイクロカーネルに基づいて開発されている新しいオペレーティングシステムであり、現在は活発な研究と開発が行われています。まだ安定性は確保されていませんが、他の研究者が実験できる環境が提供されています。LionsOSは、パフォーマンスやセキュリティ、信頼性を重視しており、特定のタスクに合わせたカスタムOSを構築するためのコンポーネントを含みます。コンポーネントはMicrokitツールを使用して結合され、ロックフリーキューを介して接続されます。コンポーネントはそれぞれ特異な機能を持ち、自動的にハードウェアに適応することはなく、ランタイムでコンポーネントを読み込むこともありません。仮想化とIOアドレス間の変換を行うコンポーネントも存在し、情報は必要な場合にのみ共有されます。今後の成功には、更なるコンポーネントの開発が求められています。