Operating systems

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.