The Lemon Operating System

The FYSOS Operating System

Learning operating system development using Linux kernel and Raspberry Pi

The Serenity Operating System 🐞

A hobby operating system for x86_64, boots with UEFI.

Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)

OS development study

Operating System

Stony Brook Unix

A small operating system where I experiment and learn osdev.

Simple operating system in C++, written from scratch

run C++ from anywhere

Resource compiler, packages images, fonts, cursors, etc as compilable C source. Portable ANSI C.

stb single-file public domain libraries for C/C++

This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-modu…

The Elixir Cross Referencer

Sanos operating system kernel

mirror of git://git.code.sf.net/p/monartis/openqnx

Mirror of raf's libslack http://libslack.org

language-independent printf test suite

C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)

Source code to Bare Metal Raspberry Pi 4(b) OS which prints Hello World via TTL

Multitasking kernel for Arm/Thumb/AArch64 targets.

Learning operating system development using Linux kernel and Raspberry Pi