News

Electronic Design8y
What’s the Difference between Separation Kernel Hypervisor and Microkernel? - Electronic Design
From an application platform perspective, a Microkernel-based OS and monolithic kernel-based OS look very similar, they are both Operating Systems governed by administrative and configuration ...
EDN17y
Open Kernel Labs OKL4, the Open Source Embedded Systems Software and Virtualization Technology, Now Supports ARMv6 Architecture - EDN
Backed by the largest, independent team of microkernel developers, OK Labs open-source microkernel operating system, OKL4, offers the highest proven performance combined with strong protection and ...