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. | 11 |
 0x59616e/steinsos | An operating system written in Rust targeting the armv8 architecture | 117 |
 hhuos/hhuos | A small, C++ and Assembler-based operating system project designed to demonstrate key concepts of operating systems theory | 152 |
 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 | An x86-64 operating system with a focus on simplicity, readability, and compatibility with Linux. | 303 |
 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,361 |
 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,072 |
 alphacharlie/raspwn | An intentionally vulnerable operating system designed as a training tool for penetration testing and hacking | 55 |
 d99kris/nopeos | A basic x86 OS kernel with an embedded BASIC interpreter | 44 |
 mozilla/authenticator-rs | A Rust library for interacting with Security Key-type devices via USB HID protocol | 279 |