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

The Serenity Operating System 🐞

A teaching operating system written in Rust

A Raspberry Pi OS Kernel in Rust

SerialICE is a flexible, software based system software debugger

FuzixOS: Because Small Is Beautiful

This is an instruction to run your own SMM code.

Windows Kernel-Mode Drivers written in Rust

Windows kernel hacking framework, driver template, hypervisor and API written on C++

Windows NT Syscall tables

Tool to dump UEFI runtime drivers implementing runtime services for Windows

A toy x86-64 kernel.

Quibble - the custom Windows bootloader

page fault tracking tool

MirageOS is a library operating system that constructs unikernels

A minimal, resource efficient unikernel for cloud services

L4 (Lock-Free on Read) Hashtable is a C++ library that implements hash table with arbitray byte stream keys/values.

Learning operating system development using Linux kernel and Raspberry Pi

Minoca operating system

Linux kernel source tree

The FYSOS Operating System

Boot EFISTUB linux kernels on UEFI systems not supporting kernel command line

Modern embedded framework, using Rust and async.

A Tiny Linux-Compatible Kernel

Bare metal Raspberry Pi 3 tutorials

Linux kernel loader

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…

An x86 bootloader written in Rust.

The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and …

The seL4 microkernel