This kernel is a member of the L4 microkernel family. SeL4 is a mathematically proven correct, bug-free operating system kernel. It's designed to enforce strong security properties.

But many other operating systems–Ubuntu, Fedora, Raspian–they all derive from some stock operating system. There are some outliers, though, and one of those is HelenOS.

Microsoft's researchers are working on yet another operating-system research project which can trace its roots to the company's Singularity project. This new operating system, known as Helios, is ...

Zephyr’s original nanokernel/microkernel platform has been replaced by a single, unified kernel that can be configured to address resource-constrained environments targeted by the nanokernel.

Details are limited, but like HarmonyOS, Fuchsia is an open source, microkernel operating system. Like HarmonyOS, it’s designed to work across a broad range of IoT and other connected devices.

Researchers contend almost all Linux OS flaws could be mitigated to less-than-critical severity with an OS design based on a verified microkernel. In an exhaustive study of critical Linux ...

Jaluna-1 is a real-time component suite designed for carrier-grade projects requiring high performance and high availability. It is based on Sun Microsystems' Chorus microkernel operating system (OS).

Huawei has officially announced HarmonyOS, the operating system it was rumored to be developing to replace its reliance on Android. In China, the software will be known as HongmengOS.

Various aspects of the OS had been tested on Huawei subsidiary HiSilicon’s AI-heavy Kirin 970 platform and on Google’s own Pixelbook but has flown mostly under the radar and out of public view.

The availability of the mobile operating system, which is open source, will be limited to China for now, though the company has plans to bring it to international markets at a later stage, he said.

It was first championed by LINUX, which Android and ChromeOS are based on, but now Google is ditching LINUX and creating a microkernel operating system with the capability to run on universal ...

Getty Images Microsoft Research is building on its "Drawbridge" operating system technology to try to give users more confidence in the safety of the cloud.