Learning operating system development using Linux kernel and Raspberry Pi
-
Updated
Jul 20, 2020 - C
Learning operating system development using Linux kernel and Raspberry Pi
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.
(Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
libhermit-rs: A Rust-based library operting system
A kernel designed to run one and only one application in a virtualized environment
HermitCore: A C-based, lightweight unikernel
The Zenith Operating System is a modern, professional fork of the 64-bit Temple Operating System, designed to survive societal collapse.
FreeDOS kernel - implements the core MS-DOS/PC-DOS (R) compatible operating system. It is derived from Pat Villani's DOS-C kernel and released under the GPL v2. Please see http://www.freedos.org/ for more details about the FreeDOS (TM) Project. !!! This fork is no longer the primary fork -- Please post PRs and issues to https://github.com/FDOS/kernel !!!
A simple "Unix-like" kernel trying to be POSIX compliant
BoneOS Kernel and Operating System Source Tree
Operating System
Add a description, image, and links to the osdev topic page so that developers can more easily learn about it.
To associate your repository with the osdev topic, visit your repo's landing page and select "manage topics."