Anonymous user
Notable Projects: Difference between revisions
m
Updated Ironclad's demo picture for one better showing the current desktop experience
| [unchecked revision] | [unchecked revision] |
No edit summary |
m (Updated Ironclad's demo picture for one better showing the current desktop experience) |
||
| (One intermediate revision by one other user not shown) | |||
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:GloireJWM.png|200px]]
|Status=Active
}}
| |||