Anonymous user
Notable Projects: Difference between revisions
add Ironclad
| [unchecked revision] | [unchecked revision] |
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
}}
| |||