Recently, a repository for the Gloire operating system appeared on Github. Gloire uses the Ironclad kernel, which is written in the Ada programming language, and a custom GNU environment. The website dedicated to Ironclad states that it is in the process of 'formal verification.'
Bootable images for Gloire OS are available for x86, although supported hardware is still limited.
Gloire repository: https://github.com/streaksu/Gloire?tab=readme-ov-file
Kernel project website: https://ironclad.nongnu.org
Both Gloire and Ironclad are distributed under the terms of the GNU General Public License version 3.
Source: linux.org.ru
