A new and allegedly super secure microkernel was made open source today, a move that could have serious security implications across a number sensitive and increasingly connected fields. General ...

This release of the Hanlon-Microkernel project represents the first (major) release of a Docker-based Hanlon Microkernel. Prior to this release, the Hanlon Microkernel was essentially a customized ...

The Australian open source seL4 microkernel project is set to expand its global reach after receiving support from the Linux Foundation. As the world’s first microkernel to be proven secure ...

Before Linux, GNU was working on its own Mach-based Unix compatible OS. Now, in the footsteps of Debian 13, there is a new release. This is not exactly a review, because this is not exactly an ...

A new project dubbed Neptune OS intends to put a Windows-NT-compatible personality on top of the seL4 microkernel. The project is still under development and doesn't actually run anything yet, but is ...

Thank you for completing the survey! This article introduces you to the the Zephyr* RTOS and explains how to configure it for the Intel® Quark™ microcontroller D2000. Zephyr* RTOS with the Intel® ...