# ravss/havk

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/ravss-havk).**

0 stars · 0 forks

## Links

- GitHub: https://github.com/RavSS/HAVK
- awesome-repositories: https://awesome-repositories.com/repository/ravss-havk.md

## Description

HAVK is an x86-64 operating system and kernel created with Ada (SPARK subset). It focuses on security (and only that) via writing minimal code and using formal verification techniques to help achieve program correctness. It is influenced by Unix, but it is not necessarily a Unix clone.

## Tags

### Part of an Awesome List

- [Operating Systems and Kernels](https://awesome-repositories.com/f/awesome-lists/devops/operating-systems-and-kernels.md) — Security-focused x86-64 operating system.