HAVK
by RavSS
An attempt at a minimalistic and secure operating system.
AI summary
Security OS
An experimental, minimalistic operating system designed with security as its primary focus through formal verification techniques.
- stars
- 26
- forks
- 1
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
OS
A hobby operating system designed to be modular and compatible with various hardware configurations.
Rust OS
An operating system written in Rust targeting the armv8 architecture
hhuos/hhuos152
OS demonstrator
A small, C++ and Assembler-based operating system project designed to demonstrate key concepts of operating systems theory
OS kernel
A formally-verified, 64-bit operating system for x86-64 architecture written in Ada.
Mainframe security project
A collaborative effort to share knowledge and resources on mainframe security
RTOS
An operating system written in Ada, designed to be safe and portable across multiple microcontrollers.
Operating System
An x86-64 operating system with a focus on simplicity, readability, and compatibility with Linux.
OS dev project
A research project to develop an operating system in Ada with the goal of learning about low-level programming and safety-critical systems.
Mainframe security tools
Provides tools and utilities for working with RACF and z/OS security settings on mainframes
Security checklist
A set of guidelines for securing a Ruby on Rails application
Security Framework
An organization for maintaining and standardizing security features in the ROS 2 framework.
OS kernel
Builds a minimal multi-tasking OS kernel for ARM from scratch
Training OS
An intentionally vulnerable operating system designed as a training tool for penetration testing and hacking
OS kernel
A basic x86 OS kernel with an embedded BASIC interpreter
Security key library
A Rust library for interacting with Security Key-type devices via USB HID protocol
Featured in 1 awesome list
Each link jumps to the spot where the list mentions HAVK.
