An attempt at a minimalistic and secure operating system.
Primary LanguageAdaGNU General Public License v3.0GPL-3.0