HAVK
Security OS
An experimental, minimalistic operating system designed with security as its primary focus through formal verification techniques.
An attempt at a minimalistic and secure operating system.
26 stars
3 watching
1 forks
Language: Ada
last commit: over 3 years ago
Linked from 1 awesome list
adakerneloperating-systemosdevsecurityspark-ada
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 garnek0/garnos | A hobby operating system designed to be modular and compatible with various hardware configurations. | 10 |
 0x59616e/steinsos | An operating system written in Rust targeting the armv8 architecture | 115 |
 hhuos/hhuos | An operating system project demonstrating various aspects of OS theory in C++ and Assembly for the x86 architecture. | 144 |
 docandrew/cubit | A formally-verified, 64-bit operating system for x86-64 architecture written in Ada. | 78 |
 hacksomeheavymetal/zos | A collaborative effort to share knowledge and resources on mainframe security | 81 |
 jgrivera67/hirtos | An operating system written in Ada, designed to be safe and portable across multiple microcontrollers. | 35 |
 malwarepad/cavos | A development project aiming to create a full operating system from scratch using C and x86-64 architecture. | 272 |
 ajxs/cxos | A research project to develop an operating system in Ada with the goal of learning about low-level programming and safety-critical systems. | 35 |
 lnlyssg/zos | Provides tools and utilities for working with RACF and z/OS security settings on mainframes | 33 |
 eliotsykes/rails-security-checklist | A set of guidelines for securing a Ruby on Rails application | 1,357 |
 ros-security/community | An organization for maintaining and standardizing security features in the ROS 2 framework. | 15 |
 jserv/mini-arm-os | Builds a minimal multi-tasking OS kernel for ARM from scratch | 1,064 |
 alphacharlie/raspwn | An intentionally vulnerable operating system designed as a training tool for penetration testing and hacking | 53 |
 d99kris/nopeos | A simple OS kernel with a built-in BASIC interpreter | 44 |
 mozilla/authenticator-rs | A Rust library for interacting with Security Key-type devices via USB HID protocol | 276 |