Operating systems

I love using macOS as my personal OS.

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.

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)