Project Description

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs.

(This Description is auto-translated) Try to translate to Japanese Show Original Description

Descargar

Opinión
Your rating
Review this project