I love using macOS as my personal OS.

And I like NixOS and it's nix package manager.

Interesting OSes

• ​MirageOS - Library operating system that constructs unikernels.

• ​QubesOS​

• ​Plan 9​

• ​Toddler - Well-designed usable and portable microkernel OS.

• ​OS67 - Unix-like toy kernel.

• ​Serenity - X86 Unix-like operating system for IBM PC-compatibles.

• ​Resea - Pure microkernel-based hackable operating system written from scratch in C and Rust.

• ​Rux - Hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

• ​redshirt - Experiment to build some kind of operating-system-like environment where executables are all in WASM and are loaded from an IPFS-like decentralized network.

• ​Spectrum - Step towards usable secure computing. (Developer manual) (Discussions)

• ​mikado - RISC-V Experimental OS.

• ​mkernel - Minimalist kernel which prints "my first kernel" on the screen and then hangs. (HN)

• ​Barebones - Barebones multiboot kernel for beginners.

• ​xv6 - Re-implementation of Dennis Ritchie's and Ken Thompson's Unix Version 6. (Paper) (HN)

• ​xv6 for RISC-V​

• ​Orange Slice - Research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost.

• ​Cloud Hypervisor - Open source Virtual Machine Monitor (VMM) that runs on top of KVM.

• ​RancherOS - Tiny Linux distro that runs the entire OS as Docker containers.

• ​Bottlerocket OS - Free and open-source Linux-based operating system meant for hosting containers.

• ​XNU kernel - Part of the Darwin operating system for use in macOS and iOS operating systems.

• ​Haiku - Open-source operating system that specifically targets personal computing.

• ​Pebble - Microkernel and userspace written in Rust, with first-class message passing.

• ​seL4 microkernel (Article) (HN)

• ​Barebones amd64 kernel built using 9front​

• ​RustyHermit - Rust-based, lightweight unikernel.

• ​Distaff - Zero-knowledge virtual machine written in Rust.

• ​zCore - Reimplement Zircon microkernel in Rust.

• ​9front​

• ​lilith - POSIX-like x86-64 kernel and userspace written in Crystal.

• ​Genode - Operating System Framework.

Links

• ​Introduction to Operating Systems​

• ​OS: Three Easy Pieces​

• ​mirageOS - A programming framework for building type-safe, modular systems.

• ​OS Dev​

• ​Raspberry Pi OS - Learning operating system development using Linux kernel and Raspberry Pi.

• ​Create OS from scratch​

• ​How to Make a Computer Operating System (Code)

• ​Plan 9 from User Space - Port of many Plan 9 libraries and programs to Unix.

• ​Jehanne - Simple operating system.

• ​Unik - Unikernel & MicroVM Compilation and Deployment Platform.

• ​SPDK - Storage Performance Development Kit Provides a set of tools and libraries for writing high performance, scalable, user-mode storage applications.

• ​Writing an OS in Rust (2018) (Code)

• ​intermezzOS kernel - Hobby operating system, in Rust.

• ​The intermezzOS book (Code)

• ​Write your own Operating System (2017)​

• ​Operating Systems: From 0 to 1 - Bootstrap yourself to write an OS from scratch. A book for self-learner.

• ​Introducing Mercury OS (2019)​

• ​Nanos - New kernel designed to run one and only one application in a virtualized environment.

• ​BootOS - Monolithic operating system in 512 bytes of x86 machine code. (HN)

• ​Ask HN: Recommended resources to learn the Linux kernel and OS theory? (2019)​

• ​Soso - Simple unix-like operating system written in Nasm assembly and mostly in C.

• ​swieros - Tiny and fast Unix-ish kernel (based on xv6), compiler, and userland for fun, education, and research.

• ​A dream of an ultimate OS (1995) (HN)

• ​Input/Output Subsystem in Singularity Operating System (2011)​

• ​Commute talk: How to start building an OS? (2019)​

• ​Making a RISC-V Operating System using Rust (HN)

• ​Mu: Sketching out a minimal system programming language (2019) (Lobsters)

• ​ioping - Simple disk I/0 latency measuring tool.

• ​Collapse OS - Bootstrap post-collapse technology. (HN)

• ​Awesome eBPF - BPF, as in Berkeley Packet Filter, is an in-kernel virtual machine running programs passed from user space.

• ​What are required knowledge in order to build an OS? (2020)​

• ​Krabs - x86 bootloader written in Rust.

• ​oreboot - Fork of coreboot, with C removed, written in Rust.

• ​MIT Operating Systems Engineering course using RISC-V​

• ​fectl - Client/server system that allows its users to monitor and control a number of processes on UNIX-like operating systems.

• ​1001 Ways of Implementing a System Call (2019)​

• ​How I Switched To Plan 9 (2019)​

• ​Operating Systems course notes (2013)​

• ​Computer Simulation and History (Code)

• ​HiddenVM - Use any desktop OS without leaving a trace.

• ​Programmer's critique of missing structure of operating systems (2020)​

• ​LeetCode OS Questions​

• ​DLS: Functional Foundations for Operating Systems course (2018)​

• ​System Programming course - High-quality, open-source introductory systems programming textbook. (Code)

• ​Green Threads Explained in Rust (Code) (Reddit)

• ​Solo5 - Sandboxed execution environment for unikernels.

• ​Mbox - Lightweight sandboxing mechanism that any user can use without special privileges in commodity operating systems. (Code)

• ​Awesome Plan9​

• ​Albatross - Orchestrate and manage MirageOS unikernels with Solo5.

• ​Labs for RustOS​

• ​Little book about OS development (Code)

• ​Green Threads Explained (HN)

• ​Fibers under the magnifying glass (2018)​

• ​Notes on the Plan 9 3rd Edition Kernel Source (Lobsters)

• ​Tutorial - Write a System Call (2016)​

• ​Zub VM - Super-fast, stack-based virtual machine for dynamic languages.

• ​Genode Operating System Framework Foundations​