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.

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​

• ​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)​

• ​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)