Notable Projects: Difference between revisions
| [unchecked revision] | [unchecked revision] |
Content deleted Content added
No edit summary |
add Ironclad |
||
Line 25:
|Pic=[[Image:ghost-ui-preview.png|200px]]
|License=GPLv3
}}
{{OSProject
|OSName=Ironclad
|OSDescription=Ironclad is a mostly formally verified hard real-time kernel written in SPARK and Ada. It is made to be 100% free software, free in the sense that it respects the user's freedom. It supports several architectures and features an advanced security model with features like Mandatory Access Control (MAC). The screenshot features Gloire, a distribution of Ironclad.
|Contact=streaksu@protonmail.com
|License=GNU GPLv3
|URL=https://ironclad.cx
|Pic=[[File:Gloire.png|200px]]
|Status=Active
}}
| |||