L4/Iguana

Iguana er utformet som en base for levering av operativsystem (OS) tjenester for embedded systemer. Blant annet gir det den underliggende OS for Wombat, vår versjon av paravirtualised Linux utformet for å gi støtte for eldre for embedded systemer.
Iguana kjører på toppen av L4 mikrokjerne, for tiden den versjon 4 API som gjennomføres av L4Ka :: Pistachio. L4 / Iguana er utformet for å støtte en smertefri overgang til den nye sikkerhetsorienterte API utvikles for L4.
Mens det låner mange ideer fra Mungi operativsystemet, Iguana mål domenet av embedded systemer krever en annen tilnærming til en rekke problemer. De viktigste kjennetegnene på Iguana design er:
- Iguana utfyller, snarere enn skjuler den underliggende L4 API. Det gir tjenester nesten alle OS miljø krever, for eksempel minne og beskyttelse ledelse, og en enhetsdriver rammeverk;
- Minne og cache fotavtrykk av Iguana holdes liten;
- Lav overhead deling av data støttes;
- Iguana støtter separasjon av beskyttelse og oversettelse, ved å oppmuntre en ikke-overlappende adresse-space layout. Dette betyr at Iguana-baserte systemer lett kan distribueres på prosessorer uten virtuelt minne, og kan også få en best mulig ytelse på ARM7 og ARM9 kjerner mye brukt i embedded systemer.