Anonymous user
Projects: Difference between revisions
m
Reverted edits by Xvancm (talk) to last revision by Klakap
[unchecked revision] | [unchecked revision] |
(remove Ironclad (moved to Notable Projects)) |
|||
Line 180:
{{OSProject
|OSName=BleskOS
|OSDescription=BleskOS is 32-bit operating system written from scratch in C. One of main features is alternative graphic user interface that do not use windows, as classic operating systems do, but switches between programs on full screen. BleskOS is designed for older computers. Goal of BleskOS is to provide system, that could be installed on older computers to make them usable again. BleskOS have wide range of drivers such as VBE, AC97, PS/2 keyboard, PS/2 mouse, PATA(PI), SATA(PI), USB controllers UHCI/OHCI/EHCI, ethernet cards for Realtek, Intel, AMD and more. Every version is tested on multiple real computers. BleskOS currently supports TXT, PNG, GIF, BMP, WAV and HTML file formats.
|Contact=klaykap@yandex.com
|License=Open source (MIT)
|URL=https://github.com/
|Status=Active
|Pic=[[File:
}}
Line 534:
= I =
{{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|240px]]
|Status=Active
}}
= J =
|