Muen microkernel 0.7 released

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by the Institute for Internet Technologies and Applications (ITA) at the University of Applied Sciences Rapperswil (HSR).

The following major features and improvements have been implemented :

Support for Genode VM subjects
Subject time mechanism
Hardware and platform policy abstractions
Linux virtual filesystem and network interface drivers

Details:

The Muen platform includes re-usable components which implement common services:

Subject Monitor (SM) written in SPARK 2014
Timeserver subject written in SPARK 2014
Debugserver subject written in Ada 2012
Virtual Terminal (VT) subject written in Ada 2012

Furthermore the [muenfs] and [muennet] Linux kernel modules provide virtual filesystem and network interface drivers based on inter-subject memory channels.

Ref : muen.codelabs.ch
Ref : genode-labs.com

UID: 166863197863754daa21a0463754daa21a08

Edit

EEC GDPR compliant

Made in RapidWeaver