CuBit
OS kernel
A formally-verified, 64-bit operating system for x86-64 architecture written in Ada.
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
78 stars
15 watching
4 forks
Language: Ada
last commit: over 3 years ago
Linked from 1 awesome list
adaossparkx86-64
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 d99kris/nopeos | A simple OS kernel with a built-in BASIC interpreter | 44 |
| docandrew/yotroc | A compiler and virtual machine for a fictional CPU architecture | 4 |
 corruptedbycpu/cyjon | A simple, clean, multi-tasking operating system kernel written in pure assembly language for 64-bit processors | 435 |
 polard8/kernel | An operating system kernel with basic features and an initial set of components | 646 |
 dthain/basekernel | A research-grade kernel providing basic OS functionality for experimentation and education | 801 |
 pgram/jsd-os | A small operating system designed to run on various x86 hardware configurations with minimal memory footprint and modular architecture | 58 |
 dreamos82/dreamos64 | An experimental 64-bit kernel project that demonstrates low-level programming concepts and basic operating system functionality. | 166 |
 apple-oss-distributions/xnu | The xnu kernel project provides the core operating system software for Apple's macOS and iOS systems. | 1,822 |
 lucretia/bare_bones | A tutorial on creating a basic operating system from scratch in Ada | 84 |
 willdurand/arvernos | A minimal kernel project aimed at learning operating system development and improving C skills through experimentation on different architectures. | 332 |
 narasimha1997/r3 | An hobby x86_64 Operating System kernel written in Rust with minimal functionalities | 80 |
 deanoburrito/northport | A monolithic kernel and supporting libraries for multiple architectures, aiming to create a complete and extensible operating system. | 86 |
 eylon-44/buzz-os | A small x86 32-bit operating system with a custom build system and user programs written in C and Assembly. | 9 |
 malwarepad/cavos | A development project aiming to create a full operating system from scratch using C and x86-64 architecture. | 272 |
 zystemos/pluto | A lightweight, modular x86 kernel written in Zig with the goal of being easy to port and maintainable. | 561 |