cxos
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.
Operating System development experiment in Ada
35 stars
7 watching
5 forks
Language: Ada
last commit: almost 4 years ago
Linked from 1 awesome list
adakernellow-level-programmingoperating-systemosdev
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 malwarepad/cavos | A development project aiming to create a full operating system from scratch using C and x86-64 architecture. | 272 |
 gandelxiv/pidi-os | An operating system project aiming to create a minimalistic i386 OS from scratch using C and assembly language | 38 |
 paulomigalmeida/almeidaos | A hobbyist 64-bit operating system project written in C and Assembly, aimed at providing a reference for future OS developers. | 56 |
 marcocicognani/meetixos | A hobby operating system project aiming to create a Unix-like system with modern C++20 and a custom kernel. | 188 |
 vlang/vinix | An operating system written in Vlang, aiming to create a modern and fast OS that prioritizes code correctness and usability. | 1,944 |
 bagggage/bamos | An operating system project that aims to create a lightweight and fast OS with well-documented codebase and native support for multiple system ABIs. | 20 |
 ackos-project/ackos | A hobby operating system built from scratch in C, aiming to create a simple 64-bit OS. | 85 |
 powernex/powernex | A D-based operating system project aiming to create a whole OS from scratch. | 491 |
 marceldobehere/maslos | An operating system written in C++ and C, with support for various hardware interfaces and GUI components. | 92 |
 pgram/jsd-os | A small operating system designed to run on various x86 hardware configurations with minimal memory footprint and modular architecture | 58 |
 docandrew/cubit | A formally-verified, 64-bit operating system for x86-64 architecture written in Ada. | 78 |
 francisbftc/kiddieos_development | Developing a basic operating system with a focus on simplicity and ease of use for beginners to learn programming concepts | 47 |
 willdurand/arvernos | A minimal kernel project aimed at learning operating system development and improving C skills through experimentation on different architectures. | 332 |
 dreamos82/dreamos64 | An experimental 64-bit kernel project that demonstrates low-level programming concepts and basic operating system functionality. | 166 |
 paydevs/awful-oss-incidents | An analysis of common problems and issues faced by OSS maintainers and underfunded projects | 324 |