Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Muen Separation Kernel

Compare

  Analyzed about 19 hours ago

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 ... [More] foundation for component-based high-assurance systems. [Less]

207K lines of code

3 current contributors

about 2 months since last commit

2 users on Open Hub

Moderate Activity
0.0
 
I Use This