Skip to content

Operating Systems

Version History
Date Description
Oct 26, 2021 Add the Mach family references
Dec 18, 2020 extracted from the summary doc

My personal interest in CS starts from OS. I started by writing my own OS, it was such a rewarding and joyful journey. Since then, I’m hooked with any OS related projects. This page, is my attempt to document the well-known and less well-known OSes. This list is not meant to be complete, a lot of acedemic OS papers are not mentioned here.

This awsome-os has a more complete list.


image_unix_timeline (Image source:


  • Visopsys
    • “It features a simple but functional graphical interface, pre-emptive multitasking, and virtual memory”
  • BootOS


  • Singularity.
    • A research OS from MSR. Very interesting one. It leverages certain PL features to write secure and dependable OS. It also allows verification. It never landed as a commercial one, but it does inspire certain follow-up works.
    • Several old research OSes have also used certain language features to carry out security measures (e.g., V++).
  • MIT Corey
    • I think the code itself is based on jos.

Linux Distribution

Ever thought about how to go from Linux Kernel to a full Linux Distribution?

Last update: October 28, 2021


Back to top