| by Arround The Web

Muen 1.0 Released, an Open Source Microkernel for Systems Building

After eight years of development, the Muen 1.0 project has been released, developing the Separation kernel, the absence of errors in the source code was confirmed using mathematical methods of formal verification of reliability. The kernel is available for the x86_64 architecture and can be used in mission-critical systems that require an increased level of […]

The post Muen 1.0 Released, an Open Source Microkernel for Systems Building appeared first on Linux Today.

Share Button
Read More