L4/Iguana

이구아나는 임베디드 시스템을위한 운영 체제 (OS) 서비스 제공을위한 기반으로 설계되었습니다. 그 중에서도, 그것은 웜뱃, 임베디드 시스템을위한 레거시 지원을 제공하도록 설계 paravirtualised 리눅스의 우리의 버전에 대한 기본 운영 체제를 제공합니다.
L4Ka :: 피스타치오에 의해 구현 된 아나는 L4 마이크로 커널, 현재 버전 4 API의 상단에서 실행됩니다. L4 / 이구아나는 L4 개발되고 새로운 보안 중심의 API에 고통 전환을 지원하도록 설계되었습니다.
이 Mungi 운영 체제에서 많은 아이디어를 차용하지만, 임베디드 시스템의 이구아나의 대상 도메인은 문제의 숫자에 대한 다른 접근 방법이 필요합니다. 이구아나의 디자인의 주요 특징은 다음과 같습니다 :
- 이구아나는 기본 L4 API를 숨기는 것이 아니라, 보완한다. 이는 메모리 보호 및 관리, 장치 드라이버 프레임 워크로 거의 모든 OS 환경에 필요한 서비스를 제공한다;
- 이구아나의 메모리 및 캐시 발자국은 작게 유지된다
- 데이터의 오버 헤드가 낮은 공유가 지원됩니다
- 이구아나 겹치지 주소 공간 배치를 장려함으로써, 보호 및 번역의 분리를 지원한다. 이 이구아나 기반 시스템이 쉽게 가상 메모리없이 프로세서에 배포 할 수 있으며, 또한 널리 임베디드 시스템에 사용 된 ARM7과 ARM9 코어에 최적의 성능을 얻을 수 있다는 것을 의미한다.