Muen Separation Kernel

I Use This!

Very Low Activity

Analyzed 2 days ago. based on code collected 2 days ago.

Project Summary

Muen is a Separation Kernel implemented in the SPARK programming language. It runs on the Intel x86/64 architecture employing hardware-assisted virtualization (VT-x and VT-d) as the fundamental separation mechanism. The goal of the Muen project is the development of a trustworthy open-source foundation for component-based high-assurance systems.

In a Nutshell, Muen Separation Kernel...

...
has had 14,982 commits made by 19 contributors
representing 14,154 lines of code
...
is mostly written in Ada
with an average number of source code comments
...
has a well established, mature codebase
maintained by one developer
with stable Y-O-Y commits
...
took an estimated 4 years of effort (COCOMO model)
starting with its first commit in February, 2013
ending with its most recent commit 6 months ago

Quick Reference

Project Links:

Homepage
Download

Code Locations:

http://git.codelabs.ch/git/muen.git

Similar Projects:

Managers:

Reto Buerki

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
anyone with an Open Hub account can update a project's tags
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
search using multiple tags to find exactly what you need

About Project Security