Select a tag to browse associated projects and drill deeper into the tag cloud.
Muen Separation Kernel
Analyzed 27 days 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
Licenses:
gpl3