ArvernOS

Kernel project

A minimal kernel project aimed at learning operating system development and improving C skills through experimentation on different architectures.

floppy_disk A minimal, experimental and "toy" monolithic kernel to learn about OS development // Work In Progress

GitHub

332 stars
10 watching
33 forks
Language: C
last commit: 10 months ago
Linked from 1 awesome list

32-bit64-bitaarch32aarch64asmhobby-oskernellearning-by-doingoperating-systemx86-64

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
dreamos82/dreamos64 An experimental 64-bit kernel project that demonstrates low-level programming concepts and basic operating system functionality. 166
malwarepad/cavos A development project aiming to create a full operating system from scratch using C and x86-64 architecture. 272
thepowersgang/rust_os An experimental OS kernel written in Rust with the goal of building a portable and user-friendly operating system. 738
paulomigalmeida/almeidaos A hobbyist 64-bit operating system project written in C and Assembly, aimed at providing a reference for future OS developers. 56
garnek0/garnos A hobby operating system designed to be modular and compatible with various hardware configurations. 10
polard8/kernel An operating system kernel with basic features and an initial set of components 646
docandrew/cubit A formally-verified, 64-bit operating system for x86-64 architecture written in Ada. 78
deanoburrito/northport A monolithic kernel and supporting libraries for multiple architectures, aiming to create a complete and extensible operating system. 86
gandelxiv/pidi-os An operating system project aiming to create a minimalistic i386 OS from scratch using C and assembly language 38
dthain/basekernel A research-grade kernel providing basic OS functionality for experimentation and education 801
wichtounet/thor-os A 64-bit operating system written from scratch to learn and develop new skills 1,665
gregkh/kernel-development A presentation on the development process of a widely-used operating system kernel 622
marceldobehere/maslos An operating system written in C++ and C, with support for various hardware interfaces and GUI components. 92
marcocicognani/meetixos A hobby operating system project aiming to create a Unix-like system with modern C++20 and a custom kernel. 188
meulengracht/mollenos An operating system designed with abstraction and modularity to support various architectures. 448