Genode

Genode는 기존 커널 (예 : 마이크로 커널 또는 하이퍼 바이저)을 확장하고 애플리케이션을위한 통일 ​​된 API를 제공하는 오픈 소스 운영 체제 프레임 워크입니다.

Intel Gen-8 GPU를위한 하드웨어 가속 그래픽

현재 출시 된 L4 / Fiasco 및 Linux는 지원됩니다.
ARM 및 64 비트 x86 하드웨어의 seL4 커널
기본 프레임 워크 및 OS 레벨 인프라 :
단순화 된 IOMMU 처리
파일에 보고서를 캡처하기위한 새로운 보고서 서버
구성 요소를 순차적으로 시작하기위한 새로운 런타임 환경
부팅시 초기화 된 프레임 버퍼 지원
VFS의 확장 된 비 차단 동작
기본적으로 블록 세션을 읽기 전용으로 설정
정제 된 시간 관리
FatFS 기반 VFS 플러그인
향상된 GUI 기본 요소
C 런타임
라이브러리 및 응용 프로그램 :
메사 조정
패키지 관리
플랫폼 :
Xen DomU와 같은 Genode
베어 하드웨어에서 실행 (기본 hw)
Muen 분리 커널
노바 마이크로 하이퍼 바이저

버전 17.05의 새로운 기능 :

기본 프레임 워크 :
Genode Foundations 도서의 새 개정판
현대 API 로의 구성 요소 전환 완료
예외 유형 합리화
역량 할당 및 할당
핵심 구성 요소의 RAM 및 PD 서비스 병합
정적 생성자의 명시 적 실행
애플리케이션 레벨 신호와 I / O 신호 분리
OS 레벨 라이브러리 및 구성 요소 :
init을 통한 동적 자원 관리 및 서비스 전달
사용자 레벨 타이밍을위한 새로운 API
파일 시스템 세션의 대역 내 알림
로그 기반 CPU로드 표시
네트워크 트래픽 모니터링
공유 라이브러리로서의 POSIX libc 프로필
블록 장치 수준 구성 요소의 상태보고
런타임 및 응용 프로그램 :
NOVA에서 VirtualBox 5의 기능 완전성
Nim 프로그래밍 언어
Qt5가 5.8로 업데이트되었습니다.
플랫폼 :
베어 하드웨어에서 실행 (기본 hw)
Muen 분리 커널 업데이트
Fiasco.OC 커널 업데이트
도구 체인 :
GNU 컴파일러 콜렉션 (GCC) 6.3, Ada 지원 포함
빌드 된 실행 파일의 분리 된 디버그 버전

버전 13.11의 새로운 기능 :

기본 프레임 워크 :
동적 리소스 균형 조정
기본적으로 활성화 된 C ++ 11
개선 된 이벤트 추적
낮은 수준의 OS 인프라 :
Linux TCP / IP 스택을 사용하는 기가비트 네트워킹
개선 된 nitpicker GUI 서버
새로운 터미널 서비스
하이브리드 Genode / Linux 시스템을위한 새로운 파일 시스템 서버
블록 장치에 액세스하기위한 새로운 C-runtime 플러그인
장치 드라이버:
라스베리 파이를위한 그래픽 및 USB HID
Samsung Exynos 5 용 HDMI
응용 프로그램 및 라이브러리 :
OpenGL 및 QML을 지원하는 Qt5
FUSE 기반의 새로운 파일 시스템
포트 오브 DosBox
런타임 환경 :
고급 GNU 디버거 기능
프리 스케일 i.MX53에서의 ARM TrustZone 지원
플랫폼 :
동적 워크로드에 대해 Base-HW 사용 가능
NOVA에서 커널 객체의 평생 관리
Fiasco.OC에서 실행되는 L4Linux에 대한 열기구 지원

버전 13.08의 새로운 기능 :

버전 13.08의 릴리스는 Genode OS 프레임 워크의 5 주년을 표시합니다. 우리는이 기념일을 기념하기 위해 Qt5에서 Genode 포트, 심오한 멀티 프로세서 지원 및 경량 이벤트 추적 프레임 워크와 같이 우리가 간절히 바라는 세 가지 주요 기능을 추가했습니다. 또한 새로운 버전에는 SATA 3.0 용 새 장치 드라이버와 Exynos-5 SoC 용 전원 관리, x86 용 NOVA의 개선 된 가상화 지원, 업데이트 된 커널 및 다운로드 한 타사 소스 코드 무결성 검사가 포함되어 있습니다.
지난 5 년 동안 Genode의 개발은 가능한 한 많은 애플리케이션 영역에 프레임 워크를 맞추기위한 기능을 추가하고 개발함으로써 주로 개발되었습니다. 이제 막대한 양의 기능이 추가되었으므로 단순한 기능에 초점을 두지 않아도됩니다. Genode가 궁극적으로 할 수있는 것에 대한 질문은 Genode가 얼마나 잘 할 수 있는지에 대한 질문으로 바뀝니다. 특정 작업 부하가 얼마나 안정적입니까? 네트워킹은 어떻게 수행됩니까? 다중 프로세서 시스템은 어떻게 확장됩니까? 우리는 이러한 종류의 질문에 대한 간결한 대답이 부족하기 때문에 조사해야합니다.안정성에 관해 이야기 할 때 우리가 최근에 도입 한 자동화 테스트 인프라는 우리가 이전보다 훨씬 확신을 가질 수있게 해줍니다. 매일 밤 200 개가 넘는 자동화 된 테스트가 수행되며 다양한 커널과 여러 하드웨어 플랫폼을 망라합니다. 이러한 모든 테스트는 실행 스크립트라고하는 형태로 공개되어 계속 개발 중입니다.
성능 조사와 관련하여 최근에 우리는 네트워크 처리량에 초점을 맞춘 응용 프로그램 성능을 벤치마킹하기 시작했습니다. 흥미롭게도 우리의 측정 결과는 사용 된 커널 사이의 중요한 차이점을 보여 주었지만 소프트웨어 스택의 단점도 보여줍니다. 예를 들어, 현재 lwIP 버전은 기가비트 네트워킹으로 제대로 작동하지 않습니다. 이러한 성능 문제를 철저히 조사하기 위해 현재 버전에서는 Genode 구성 요소의 동작 추적에 대한 지원이 추가되었습니다. 이를 통해 복잡한 응용 프로그램 수준 작업 부하의 성능에 대한 중요한 경로에있는 모든 구성 요소 상호 작용을 심층적으로 이해할 수 있습니다. Genode 아키텍처 덕분에 우리는 추적 시설에 대해 놀랍도록 간단하면서도 강력한 디자인을 제시 할 수있었습니다. 섹션 경량 이벤트 추적은 작동 방식을 설명합니다.멀티 프로세서 확장 성 측면에서 우리는 그러한 문의에서 벗어나려고 애썼다. 솔직히 우리는 그에 대한 많은 배려를하지 않았다. 이보기가 지금 변경되었습니다. 현재 릴리스에서 우리는 프레임 워크의 심장부, 즉 Genode의 세션 개념에 CPU 친 화성의 관리를 구현했습니다. 또한 Genode가 NOVA 하이퍼 바이저에서 여러 CPU를 사용할 수있게하여 하드 코어를 열었습니다. 이 커널은 x86 아키텍쳐를위한 가장 진보 된 오픈 소스 마이크로 커널입니다. 그러나 NOVA의 MP 모델은 Genode의 API 설계와 본질적으로 모순되는 것처럼 보였습니다. 다행히도, 우리는 앞으로 나아갈 상당히 우아한 방법을 발견했고 우리는 짐승을 길들일 수있었습니다. 섹션 강화 된 멀티 프로세서 지원이 더 자세히 설명됩니다.
기능면에서 우리는 항상 Genode에서 Qt의 가용성을 큰 자산으로 생각했습니다. 현재 릴리스에서는 Qt4에서 Qt5로 전환 한 것을 발표하게되어 기쁩니다. 모든 커널에서 사용할 수있는 섹션 Qt5는 포팅 작업 중 직면 한 문제에 대한 통찰력을 제공합니다.

해당 하이라이트 외에도 새 버전에는 개선 된 부분이 있습니다. 몇 가지 예를 들면 POSIX 스레드, 업데이트 된 장치 드라이버, 업데이트 된 버전의 Fiasco.OC 커널 및 L4Linux, Exynos-5 용 새 장치 드라이버에 대한 지원이 향상되었습니다. 마지막으로 다운로드 한 제 3 자 소스 코드의 무결성을 확인하는 문제가 해결되었습니다.

버전 12.11의 새로운 기능 :

Genode OS 프레임 워크 버전 12.11의 핵심 테마는 자체 호스트 Genode on Genode입니다. 자체 호스팅을 통해 우리는 Genode 환경 내에서 전체 Genode 빌드 시스템의 실행을 이해합니다. 이 직업을 추구하는 데는 두 가지 동기가 있습니다. 첫째, Genode 개발자가 Genode를 일상적인 OS로 사용하기위한 기본 전제 조건입니다. 물론이 전제 조건은 사용 가능한 가상화 솔루션 중 하나를 사용하여 실현 될 수 있습니다. 예를 들어, Fiasco.OC 커널의 Genode 위에 L4Linux를 실행하고 L4Linux 인스턴스에서 Genode 빌드 시스템을 사용할 수 있습니다. 그러나 이것은 시스템 복잡성을 줄이기 위해 Genode의 기본 인센티브를 무효화합니다. 그림에서 Genode와 L4Linux를 모두 사용함으로써 시스템 구성, 유지 보수 및 사용의 전반적인 복잡성이 증가 할 것입니다. 따라서 복잡한 Linux 사용자 영역을 그림에서 제거하는 것이 좋습니다. 두 번째 동기는 프레임 워크와 기본 플랫폼이 실제로 사용하기에 충분히 적합하고 안정적임을 증명하는 것입니다.시스템이 빌드 시스템과 같은 워크로드를 처리 할 수없는 경우 GNU / Linux와 같은 현재 상용 OS에 비해 마이크로 커널 기반 시스템을 갖는 추가 가치에 대해 논쟁 할 필요가 거의 없습니다.
우리는 마이크로 커널에서 실행되는 Genode에서 직접 수정되지 않은 Genode 빌드 시스템을 실행할 수있는 상태에 도달하게 된 것을 기쁘게 생각합니다. 빌드 시스템은 GNU 유틸리티와 GNU 컴파일러 모음을 기반으로하므로 이러한 도구와 Genode API 사이에 상당한 노력이 집중되었습니다. Genode에 Section Genode를 구축하면 목표를 달성하는 방법과 현재 상태를 파악할 수 있습니다.
빌드 시스템을 Genode로 가져 오는 작업과 함께 C 런타임, 파일 시스템 구현, 메모리 할당 자, 각각의 커널, 실제 프로그램에서 도구 체인까지 다양한 안정성 향상 및 최적화가 이루어졌습니다. 로 구성되어있다. 툴 체인에 관해서는 공식적인 Genode 툴 체인이 GCC 버전 4.6.1에서 버전 4.7.2로 업데이트되었습니다. 이에 따라 모든 제 3 자 코드 패키지는 테스트 및 수정 활동을받습니다.

빌드 시스템을 실행하기 위해이 프로젝트는 현재 NOVA와 Fiasco.OC를 기본 플랫폼으로 사용합니다. 그러나 ARM 아키텍처 용 커스텀 커널 플랫폼 또한 크게 개선되었습니다. Freescale i.MX 및 Texas Instruments OMAP4에 대한 지원이 추가 된이 플랫폼은 새로운 SoC에 매우 잘 적용되는 것으로 입증되었지만 새로운 캐시 처리로 성능이 향상되었습니다. 또한 ARM TrustZone 기술에 대한 실험적 지원을 추가했습니다.이 기술은 소위 정상 세계에서 Linux를 실행하면서 TrustZone의 보안 세계에서 Genode를 실행하도록 지원합니다.
우리는 Genode를 Linux에서 미들웨어 솔루션으로 사용하는 것에 대한 관심이 높아짐에 따라이 커널 플랫폼에 대한 지원을 재검토하고 Genode 개념을 Linux 커널이 제공하는 메커니즘과 일치시키는 새로운 방법을 발견했습니다. Section Linux는이 플랫폼을 지원하기 위해 취해진 새로운 접근법에 대한 요약을 제공합니다.
기능면에서 새 버전은 Open Sound System의 오디오 드라이버, 새로운 OMAP4 GPIO 드라이버, 그래픽 터미널의 개선 및 SSH 클라이언트의 초기 포트를 지원합니다.

버전 12.08의 새로운 기능 :

Genode 12.08을 사용하여이 프로젝트는 플랫폼 지원에 중점을 두었습니다. OMAP4 기반 ARM 플랫폼의 세계로 들어가서 NOVA 하이퍼 바이저에 대한 지원을 대폭 향상시키고 대폭 향상시켜 기본 커널을 필요로하지 않고 ARM 플랫폼에서 직접 실행할 수있게되었습니다.
새로운 base-hw 플랫폼은 기존의 커널을 사용자 토대 인프라로 보완하는 Genode의 전통적인 접근법에서 벗어난 것입니다. 그것은 완전히 분리 된 커널을 그림 밖으로 나오게하고 따라서 Genode 기반 시스템의 신뢰할 수있는 컴퓨팅 기반의 기본 선을 대략 절반으로 왜곡시킵니다. 새 기본 플랫폼은 naked ARM 하드웨어의 Genode 섹션에 설명되어 있습니다.
기본 플랫폼에 대해 말하면 NOVA 하이퍼 바이저를 기본 플랫폼 중 일류 시민으로 승격하게되어 기쁩니다. 지난 몇 개월 동안,이 커널은 개발 모드와 기능 세트와 관련하여 근본적인 변화를 겪었습니다. 이로써 우리는이 플랫폼에 대한 Genode의 지원을 대폭 향상시키고 고유 기능을 활용하게되었습니다. x86 기반 하드웨어에서 Genode 사용을 고려하면 NOVA는 매우 매력적인 토대가되었습니다. 섹션 NOVA Hypervisor를 채택하면 NOVA 관련 변경 사항을 설명합니다.

현재 릴리스의 플랫폼 지원 개선은 기본 플랫폼 만 수반하지는 않지만 널리 사용되는 Pandaboard에서 사용되는 ARM 기반 OMAP4 SoC의 경우 특히 장치 드라이버가 많이 추가되었습니다. 우리는이 플랫폼을위한 HDMI 출력, SD 카드, USB HID 및 네트워킹을위한 장치 드라이버의 가용성을 발표하게되어 자랑스럽게 생각합니다.
저수준 플랫폼 개선 외에도 새 버전에는 몇 가지 새로운 서비스, 기존 구성 요소의 최적화 및 새로운 포팅 라이브러리가 함께 제공됩니다. 특히 Noux 런타임은 기본적으로 Lynx 웹 브라우저와 같은 심각한 네트워킹 응용 프로그램을 주로 Genode에서 실행할 수있는 지점에 도달했습니다. 또 다른 예로는 FFAT 기반의 새로운 파일 시스템 서비스가 있습니다.이 서비스는 Genode의 파일 시스템 인터페이스를 통해 영구 저장 장치를 사용할 수 있도록합니다. 이 새로운 서비스를 파티션 서비스, Noux 또는 libc의 파일 시스템 플러그인과 같은 기존 구성 요소와 결합하여 많은 새로운 응용 프로그램 시나리오를 사용할 수 있습니다. 이러한 새로운 구성 요소 덕분에 프레임 워크는 Noux에서 실행되는 GDB를 통한 대상 디버깅을 수행하거나 lighttpd 웹 서버를 통해 genode.org 웹 사이트를 호스트 할 수있게되었습니다.

버전 12.02의 새로운 기능 :

Genode 12.02의 출시는 Genode Labs의 회의실이 아닌 공개 된 형태로 개발 된 첫 번째 버전이기 때문에 프로젝트 역사상 흥미로운 점입니다. 따라서 우리는 GitHub을 토론 및 소스 코드 관리를위한 중심 시설로 받아 들였습니다. 이 변경 사항은 프레임 워크 사용자와 개발자 모두에게 이점이 있습니다. 사용자는 공식 genodelabs / master 브랜치를 사용하여 최신 개발 상황을 파악하고 현재 활동에 대해 논의 할 수 있습니다. 일반 Genode 개발자의 경우 공용 Git 저장소는 공공 Subversion과 회사 내부 Mercurial 저장소의 이전 혼합을 대체하므로 훨씬 쉽게 사용할 수 있습니다. 개발 프로세스의 해방 섹션에서 우리는이 변화의 동기를 설명하고 새로운 리소스에 대한 지침을 제공합니다.
기본 시스템에 새롭게 추가 된 기능으로는 메모리 매핑 된 I / O 리소스에 액세스하기위한 새로운 프레임 워크 API, Linux에서 사용자 수준의 구성 요소 프레임 워크로 Genode를 사용하기위한 특수 지원 및 다음과 같은 형태로 기존 구성 요소의 재사용을위한 API 지원이 있습니다. 샌드 박스 라이브러리. 이러한 변경 사항에는 장치 드라이버 관리자의 첫 번째 버전과 새 ACPI 파서와 같은 새로운 장치 드라이버 인프라가 수반됩니다.

기능면에서는 현재 릴리스가 2012 년 로드맵의 목표를 향한 첫 걸음을 내딛었습니다. Genode를 개발자가 일상적으로 사용할 수있는 범용 OS로 전환 시켰습니다. 로드맵에 따르면 Noux 런타임을 fork 의미 체계로 개선하여 bash 쉘 및 coreutils와 같은 명령 행 기반 GNU 프로그램을 수정하지 않고 기본적으로 다양한 마이크로 커널에서 실행할 수 있도록했습니다. 또한 라이브러리 인프라는 Qt 4.7.4 및 MuPDF PDF 렌더링 엔진과 같은 라이브러리를 이식하고 업데이트하여 향상되었습니다.

11.11 버전의 새로운 기능 :

가상화 수준의 풍요 로움 :
VMM이 제공하는 충실한 x86 PC 가상화
Android 반 가상화
Noux 런타임 환경을 사용한 OS 레벨 가상화
애플리케이션 레벨 가상화를 통한 GDB 디버깅
기본 프레임 워크, 저수준 OS 인프라 :
사용자 수준에서 CPU 예외 처리
스레드 상태에 대한 원격 액세스
향상된 신호 대기 시간
대용량 메모리 매핑 크기를위한 최적화
표준 C ++ 라이브러리
터미널 세션 인터페이스
동적 링커
라이브러리 및 응용 프로그램 :
C 런타임
밴쿠버 가상 머신 모니터
TCP 터미널
프레임 버퍼 기반 가상 터미널 및 ncurses
누
GDB 모니터
L4Linux / L4Android :
커널 버전 3.0으로 업데이트
스텁 드라이버 지원
L4Android
장치 드라이버:
iPXE 네트워크 드라이버 용 장치 드라이버 환경
PL110 디스플레이 드라이버
UART 드라이버
플랫폼 지원 :
NOVA Microhypervisor 버전 0.4
Fiasco.OC 마이크로 커널
버전 38로 업데이트

원격 스레드 쿼리 및 조작
다기능 익스프레스 Cortex-A9x4
리눅스
UNIX 도메인 소켓 기반의 새로운 IPC 구현
로컬 하위 주소 공간을 수동으로 관리하기위한 지원
하이브리드 Linux / Genode 프로그램의 개선 된 처리
L4ka :: 피스타치오 마이크로 커널
시스템 및 도구 빌드 :
GCC 4.6.1을 기반으로 한 새로운 툴 체인
라이브러리 종속성 빌드 단계 최적화
개선 된 libports 및 포트 패키지 처리

버전 11.05의 새로운 기능 :

형식이 안전한 프로세스 간 통신을위한 새로운 API
Fiasco.OC 플랫폼 확장 지원
공유 라이브러리
신호 프레임 워크
ARM RealView PBX-A9 지원
x86 64 비트 지원
L4Linux (IA32 및 ARM)
새로운 실험용 GDB 지원
MicroBlaze 플랫폼에 대한 장치 -I / O 지원
입력, 디스플레이, 네트워크 및 sdcard 용 ARM RealView PBX 장치 드라이버
Qt4, lwIP, Noux, L4Linux, GDB와 같은 다양한 Genode 기능을 손쉽게 테스트 할 수있는 새로운 바로 사용할 수있는 스크립트

버전 10.02의 새로운 기능 :

다양한 플랫폼 관련 개선 사항 중 릴리스 10.02는 NOVA 및 Codezero 커널에 대한 지원을 추가하고 실시간 우선 순위를 관리하기위한 새로운 개념을 도입합니다.
이전의 풍부한 기능의 릴리스를 지켜본 Genode 프로젝트는 프레임 워크의 기본 플랫폼 지원을 확장하는 데 집중할 수있는 기회를 얻었습니다. 우리는 2009 년에 처음 출시 된 NOVA와 Codezero라는 두 가지 새로운 마이크로 커널을 통해 이미 지원되는 커널을 보완 할 수 있었음을 기쁜 마음으로 알려드립니다. Genode는 이러한 커널에서 직접 실행되는 통합 사용자 수준 인프라를 제공합니다 Linux (32 비트 및 64 비트), OKL4v2 (x86 및 ARMv4), L4 / Fiasco 및 L4ka :: Pistachio에서도 마찬가지입니다. 마이크로 커널 기반 응용 프로그램을 만드는 개발자의 경우 프레임 워크는 해당 커널의 복잡성을 숨 깁니다. 또한 각 기본 플랫폼의 고유 한 기능을 사용자가 액세스 할 수 있도록하기 위해 노력합니다. 예를 들어, 새 릴리스에서는 OKL4 및 L4ka :: Pistachio의 실시간 스케줄링을 Genode 응용 프로그램에서 사용할 수 있습니다.

버전 9.05의 새로운 기능 :

응용 분야 :
Qt4 통합
Qt4 기반 런치 패드
OS 서비스 및 드라이버 :
Nitpicker 성능 개조
VESA 드라이버를위한 가상화 된 PCI 버스
USB 세션 및 장치 인터페이스
USB 지원 :
USB HID 드라이버
UHCI, OHCI 및 EHCI에 대한 호스트 컨트롤러 드라이버
새로운 플랫폼으로서의 OKL4
64 비트 Linux 플랫폼 지원
기본 프레임 워크 상세 검색