kernkonzept.com - Kernkonzept - we engineer security
Keywords:
operating system, hypervisor, Kernel, L4, Microkernel, virtualization, fiasco, micro kernel, l4linux, About Kernkonzept
l4re.org - L4Re -- The L4Re Operating System Framework
Keywords:
operating system, L4, Microkernel, fiasco, L-4, uvmm, server io, l4linux, L4Re, ipc interfaces
Keywords:
L-4, linux 4, microkernel linux, linux microkernel, l4 iso