Genode는 기존 커널 (예 : 마이크로 커널 또는 하이퍼 바이저)을 확장하고 애플리케이션을위한 통일 된 API를 제공하는 오픈 소스 운영 체제 프레임 워크입니다. Intel Gen-8 GPU를위한 하드웨어 가속 그래픽 현재 출시 된 L4 / Fiasco 및 Linux는 지원됩니다.ARM 및 64 비트 x86 하드웨어의 seL4 커널기본 프레임 워크 및 OS 레벨 인프라 :단순화 된 IOMMU 처리파일에 보고서를 캡처하기위한 새로운 보고서...