Operating systems

Still learning more about them. nixOS and Plan 9 are quite interesting.

Links

• Introduction to Operating Systems
• OS: Three Easy Pieces
• mirageOS - A programming framework for building type-safe, modular systems.
• OS Dev