CuBit
by docandrew
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
AI summary
OS kernel
A formally-verified, 64-bit operating system for x86-64 architecture written in Ada.
- stars
- 78
- forks
- 4
- watching
- 15
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
OS kernel
A basic x86 OS kernel with an embedded BASIC interpreter
CPU simulator
A compiler and virtual machine for a fictional CPU architecture
Operating system kernel
A simple, clean, multi-tasking operating system kernel written in pure assembly language for 64-bit processors
OS kernel
An operating system kernel with basic features and an initial set of components
OS kernel
A research-grade kernel providing basic OS functionality for experimentation and education
OS
A small operating system designed to run on various x86 hardware configurations with minimal memory footprint and modular architecture
Kernel experiment
An experimental 64-bit kernel project that demonstrates low-level programming concepts and basic operating system functionality.
kernel
The xnu kernel project provides the core operating system software for Apple's macOS and iOS systems.
OS tutorial
A tutorial on creating a basic operating system from scratch in Ada
Kernel project
A minimal kernel project aimed at learning operating system development and improving C skills through experimentation on different architectures.
OS kernel
An hobby x86_64 Operating System kernel written in Rust with minimal functionalities
Operating system foundation
A monolithic kernel and supporting libraries for multiple architectures, aiming to create a complete and extensible operating system.
x86 OS
A small x86 32-bit operating system with a custom build system and user programs written in C and Assembly.
Operating System
An x86-64 operating system with a focus on simplicity, readability, and compatibility with Linux.
Kernel
A lightweight, modular x86 kernel written in Zig with the goal of being easy to port and maintainable.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions CuBit.
