xv6 OS

Prototype no-assurance reference OS personality built on seL4

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

Fast implementation of memcpy

Raspberry Pi version of Haribote OS

Haribote OSをLinux環境で開発しよう

A toy OS written in Rust supporting xHCI.

Educational Operating System

Minoca operating system

🥑 A modern delightful operating system

xv6-64 is the port of xv6 for x86-64 architecture and UEFI

Rainbow OS

HALO: HAribote-os LOader for EFI

MikanをRustでやってみる

A hobby operating system

MonaOS is a free operating system. It's new, small, simple, open source and well structured.

Keeley's - Operating System (K-OS)

L4Ka::Pistachio micro-kernel

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

micro T-Kernel 3.0

A 64-bit SMP-safe kernel for the PC architecture.

How to create an OS from scratch

Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models

1st version of Linux Kernel

EDK II

My original OS in Rust

Horse is my OS.

An experimental virtual machine monitor for the seL4 microkernel