Awesome Operating Systems

Awesome Operating Systems

February 9, 2021
os

tags
Operating Systems

Another awesome list of available Operating System.

Unix-like #

Microkernel #

  • Minix 3: MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a number of isolated, protected, processes in user mode. It runs on x86 and ARM CPUs, is compatible with NetBSD, and runs thousands of NetBSD packages.
  • Redox OS: Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications.

Monolithic #

  • Linux Kernel: The Linux kernel is a free and open-source, monolithic, modular, multitasking, Unix-like operating system kernel. It was conceived and created in 1991 by Linus Torvalds for his i386-based PC, and it was soon adopted as the kernel for the GNU operating system.
  • illumos: illumos is a Unix operating system which provides next-generation features for downstream distributions, including advanced system debugging, next generation filesystem, networking, and virtualization options.
  • SmartOS: SmartOS is a specialized Type 1 Hypervisor platform based on illumos.
  • Xv6: Xv6 is a teaching operating system developed in the summer of 2006, which was ported to RISC-V for a new undergraduate class 6.S081.

Embedded OS #

Microkernel #

  • Contiki-NG: Contiki-NG is an open-source, cross-platform operating system for Next-Generation IoT devices. It focuses on dependable (secure and reliable) low-power communication and standard protocols, such as IPv6/6LoWPAN, 6TiSCH, RPL, and CoAP. Contiki-NG comes with extensive documentation, tutorials, a roadmap, release cycle, and well-defined development flow for smooth integration of community contributions.
  • FreeRTOS: FreeRTOS is a real-time operating system kernel for embedded devices that has been ported to 35 microcontroller platforms.
  • Riot OS: RIOT is a small operating system for networked, memory-constrained systems with a focus on low-power wireless Internet of Things devices.
  • Mbed: Mbed is a platform and operating system for internet-connected devices based on 32-bit ARM Cortex-M microcontrollers.

Monolithic #

  • Zephyr: Zephyr is a small real-time operating system[3] for connected, resource-constrained and embedded devices (with an emphasis on microcontrollers) supporting multiple architectures

Megalithic Kernel #

TinyOS: TinyOS is an open source, BSD-licensed operating system designed for low-power wireless devices, such as those used in sensor networks, ubiquitous computing, personal area networks, smart buildings, and smart meters.

Others #

  • OSBlog: This tutorial will progressively build an operating system from start to something that you can show your friends or parents.

Microkernel #

  • Sel4: eL4 is a high-assurance, high-performance operating system microkernel. It is unique because of its comprehensive formal verification, without compromising performance. It is meant to be used as a trustworthy foundation for building safety- and security-critical systems.

Hybrid kernel #

  • ChaiOS: Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for “living " - “חי”

References #