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