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) |
||
| (6 intermediate revisions by 3 users not shown) | |||
Line 1:
__NOTOC__
This page maintains a list of mature hobby operating system projects considered to be notable. A hobby operating system is considered notable if it made some considerable progress (e.g. has had a full release, is self-hosting, has been reported on outside of the hobby OSdev world, etc.) or if it has achieved such notability within the operating system development community as a useful answer to the question, "I want to see what kind of operating systems you guys have built". It should have a relatively stable kernel and drivers, and some userspace applications. They are usually written by the members of this community, but not limited to.
Everyone is welcome to add their own projects to the regular [[Projects]] list of all hobbyist operating systems.
Line 15 ⟶ 13:
|Contact=Ian Seyler (ian.seyler at returninfinity.com)
|URL=http://www.returninfinity.com/
|Status=
|License=Open source (MIT)
}}
Line 27 ⟶ 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
}}
Line 34 ⟶ 42:
|Contact=Drew DeVault (sir at cmpwn.com)
|URL=http://knightos.org
|Status=
}}
Line 80 ⟶ 88:
|Contact=Daniel Bittman (danielbittman1 at gmail.com)
|URL=http://dbittman.github.io/seaos
|Status=
}}
Line 129 ⟶ 137:
|Contact=[[User:klange|klange]], #toaruos on irc.libera.chat
|URL=http://toaruos.org/
|Status=
|License=NCSA/University of Illinois License
|Pic=[[Image:Toaruos_screenshot.png|200px]]
Line 150 ⟶ 158:
|License=Open source (BSD 2-clause)
|URL=https://github.com/p-durlej/newsys
|Status=
|Pic=[[File:VanadiumOS.png|200px]]
}}
| |||