L4/Iguana

イグアナは、組み込みシステムのためのオペレーティングシステム（OS）のサービスの提供のためのベースとして設計されています。とりわけ、それはウォンバット、組込みシステムのためのレガシーサポートを提供するように設計さparavirtualisedのLinuxの私たちのバージョンの基盤となるOSを提供しています。
イグアナは、L4マイクロカーネル、L4Ka ::ピスタチオによって実装され、現在のバージョン4 APIの上で実行されます。 L4 /イグアナはL4のために開発された新しいセキュリティ指向のAPIに無痛の移行をサポートするように設計されています。
それはMungiオペレーティングシステムから多くのアイデアを借用しているが、組み込みシステムのイグアナのターゲットドメインは、多くの問題に異なるアプローチが必要です。イグアナのデザインの主な特徴は以下のとおりです。
- イグアナは、基礎となるL4 APIを非表示にするのではなく、補完するものです。このようなメモリと保護管理、およびデバイスドライバフレームワークとほぼすべてのOS環境が必要とするサービスを提供します。
- イグアナのメモリとキャッシュフットプリントが小さく維持されています。
- データの低オーバーヘッドの共有がサポートされています。
- イグアナは、重複しないアドレス空間レイアウトを奨励することにより、保護と翻訳の分離をサポートしています。これはイグアナベースのシステムを容易に仮想メモリのないプロセッサ上で展開することができ、また、広く組み込みシステムで使用されるARM7とARM9コアで可能な限り最高のパフォーマンスを得ることができることを意味します。