Skip to content

Awesome Operating System

Version History
Date Description
Dec 18, 2020 extracted from the summary doc

You know what, this page is AWESOME:


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++).

Linux Distribution

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

Last update: December 19, 2020