Operating Systems

Expanded Main Page

GitHub - tuhdo/os01: Bootstrap yourself to write an OS from scratch. A book for self-learner.

Bona Fide OS Developer - learn to write your own operating system from scratch

Joe Duffy - Blogging about Midori

Singularity - Microsoft Research

Singularity: Rethinking the Software Stack - Microsoft Research

https://github.com/akkartik/mu

BSDs

FreeBSD Handbook

FreeBSD Developers’ Handbook

FreeBSD Architecture Handbook

The Design and Implementation of the 4.4BSD Operating System

The NetBSD Guide

NetBSD Internals

GitHub - apple/darwin-xnu: The Darwin Kernel (mirror). This repository is a pure mirror and contributions are currently not accepted via pull-requests, please submit your contributions via https://developer.apple.com/bug-reporting/

GitHub - PureDarwin/PureDarwin: Darwin is the Open Source operating system from Apple that forms the basis for OS X, and PureDarwin is a community project to make Darwin more usable. See the Wiki for more information.

Rust

flosse/rust-os-comparison

Writing an OS in Rust

A Freestanding Rust Binary

Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS

The RustyHermit Unikernel

hermitcore/rusty-hermit

s-matyukevich/raspberry-pi-os

rust-embedded/rust-raspberrypi-OS-tutorials

toy operating system - Google Search

CS 140: Operating Systems

Operating System Engineering | Electrical Engineering and Computer Science | MIT OpenCourseWare

CS161: Operating Systems (Spring 2016)

CS:APP3e, Bryant and O’Hallaron

CS162 — Spring 2016

Operating Systems I

15-410, Operating System Design and Implementation

CS261: Research Topics in Operating Systems (Fall 2014)

AROS Research Operating System

Operating Systems - IBM

MIT CSAIL Parallel and Distributed Operating Systems

Operating System Tutorial

Course: CS401: Operating Systems

Learn Operating systems - from the best tutorials and online courses | Codesters - hub to learn programming

Operating System Tutorial | Studytonight

Operating Systems Tutorials | Lynda.com

Projects - OSDev Wiki

The AcadOS Operating System

l4ka/pistachio: L4Ka::Pistachio micro-kernel

6.828 / Fall 2014

Operating Systems

Computer System Engineering | Electrical Engineering and Computer Science | MIT OpenCourseWare

cs4414: Operating Systems

A short introduction to operating systems

Bran’s Kernel Development Tutorial: Printing to screen

The little book about OS development

Operating Systems Development Series

Interrupt Service Routines - OSDev Wiki

Backbone of the OS and C++ runtime · How to make an Operating System

6.828 / Fall 2017

Virtual Connection over UDP | Gaffer On Games

operating system - OpenCourser

Coursera | Online Courses From Top Universities. Join for Free

6.828 / Fall 2016

Distributions - illumos

Product | Minoca OS

KolibriOS official site

The L4 microkernel family

https://www.l4ka.org/

GitHub - seL4/seL4: The seL4 microkernel

GitHub - seL4/l4v: seL4 specification and proofs

GitHub - f9micro/f9-kernel: An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

Genode - Genode Operating System Framework

GitHub - genodelabs/genode: Genode OS Framework

Sculpt OS version 21.10

GitHub - tomaka/redshirt: 🧑‍🔬 Operating system

GitHub - nebulet/nebulet: A proof-of-concept microkernel that implements a WebAssembly “usermode” that runs in Ring 0.