Propaganda
Código Microkernel.
um novo microkernel L4 ...
microkernel L4 L4 microkernel. Serviços de sistema operacional kernel de virtualização.
L4 / Iguana
A Iguana é projetada como base para o fornecimento de serviços do sistema operacional (OS) para sistemas incorporados. ...
sistema operacional Distribuição do Linux OS. L4 Sistema incorporado