havk

GPL-3.0Ada

A minimalistic, security-focused x86-64 operating system kernel written in Ada/SPARK with formal verification.

GitHub

28 stars2 forks0 contributors

Overview

An attempt at a minimalistic and secure operating system.

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

5 years ago

CreatedSince 2019

Built With

Ada

Included in

Ada/SPARK821

Auto-fetched 8 hours ago

bare-bones

Ada Bare Bones OS development tutorial source code

Stars91

Forks11

Last commit9 years ago

cubit

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

Stars86

Forks4

Last commit1 month ago

ewok

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

Stars80

Forks9

Last commit5 years ago

hirtos

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Stars52

Forks3

Last commit4 months ago