cubit

GPL-3.0Ada

A multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.

GitHub

86 stars4 forks0 contributors

Overview

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

16 days ago

CreatedSince 2020

Built With

GCC

Included in

Ada/SPARK821

Auto-fetched 14 hours ago

bare-bones

Ada Bare Bones OS development tutorial source code

Stars91

Forks11

Last commit9 years ago

ewok

A secure and high performances microkernel for building secure MCU-based IoTs

Stars79

Forks9

Last commit5 years ago

lovelace-os

Lovelace is an effort to write a Unix like operating system using the Ada 2012 language

A kernel for several architectures striving for POSIX compatibility, used on several distributions like Gloire