Genode 17.08

Genode es un marco de sistema operativo de código abierto que amplía los kernels existentes (por ejemplo, microkernel o hypervisor) y proporciona una API uniforme para aplicaciones. Actualmente, se admiten L4 / Fiasco y Linux. Novedades en esta...