프로그램별 genode.org/
-
Genode OS Framework 무료
Genode 운영 체제 프레임워크는 기존 커널(예: 마이크로커널 또는 하이퍼바이저)을 확장하고 응용 프로그램에 대해 균일한 API를 제공합니다. 커널 지원: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/피아스코 및 리눅스 (x86-32, x86-64)
Genode 운영 체제 프레임워크는 기존 커널(예: 마이크로커널 또는 하이퍼바이저)을 확장하고 응용 프로그램에 대해 균일한 API를 제공합니다. 커널 지원: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/피아스코 및 리눅스 (x86-32, x86-64)