무엔 SK 1.1.0

분리 코어가 출시되었습니다 (분리 커널) 스위스 회사가 개발한 Muen 코드 랩.

Muen은 Intel x86_64 플랫폼만 지원하며 이 플랫폼에서 실행되는 OS 커널 및 응용 프로그램이 할당된 할당량을 초과하는 리소스에 액세스할 수 없도록 합니다. 이는 무엇보다도 RAM, CPU 시간 및 I/O 장치에 대한 액세스에 적용됩니다.

Linux 커널, Ada/SPARK 프로그램 및 Solo5 프레임워크를 사용하여 작성된 라이브러리 OS(예: OCaml의 MirageOS)가 게스트 애플리케이션으로 지원됩니다. PCI 및 기타 호스트 리소스에 대한 액세스 속도를 높이기 위해 Linux용 커널 드라이버가 제공됩니다.

Muen 자체는 Ada 언어의 보안 하위 집합인 SPARK에서 완전히 구현되었으며 런타임 오류가 없는 것으로 확인되었습니다. 코드는 GPLv3 라이센스에 따라 배포됩니다.

출처 : linux.org.ru