Operating systems

NixOS and Plan 9 are quite interesting.

I use and love macOS as my personal OS.

Interesting

• QubesOS

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.