X86-64 operating systems

Illumos (stylized as "illumos") is a partly free and open-source Unix operating system. It has been developed since 2010 and is based on OpenSolaris, after the discontinuation of that product by Oracle. It comprises a kernel, device drivers, system libraries, and utility software for system administration. Its core has become the base for many different open-sourced Illumos distributions, in a way similar to how the Linux kernel is used in different Linux distributions.

Redox is a Unix-like operating system based on a microkernel design. It is community-developed, released as free and open-source software and distributed under an MIT License. Written in the programming language Rust, Redox aims to be a general-purpose operating system that is safe and reliable. It is currently in a pre-stable status.

operating system

SerenityOS is a free and open source desktop operating system. It features a preemptive kernel, currently supports x86-64, ARM, and RISC-V based computers, and hosts multiple complex applications including its own web browser and integrated development environment (IDE).

system software

HelenOS is an operating system based on a multiserver microkernel design. The source code of HelenOS is written in C and published under the BSD-3-Clause license.

free real-time operating system

real-time operating system (RTOS) software

family of fault-tolerant servers

Genode is a novel OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including device drivers, system services, and applications.

OpenHarmony (OHOS, OH) is a family of open-source distributed operating systems sharing some principles from Huawei LiteOS lineage. Huawei donated the pure HarmonyOS L0-L2 single framework branch, non-AOSP source code, to the OpenAtom Foundation. Similar to HarmonyOS, the open-source distributed operating system is designed with a layered architecture, consisting of four layers from the bottom to the top: the kernel layer, system service layer, framework layer, and application layer. It is also an extensive collection of free software, which can be used as an operating system or in parts with

real time operating system

Apache NuttX is a free and open-source real-time operating system (RTOS) with an emphasis on technical standards compliance and on having a small footprint. It is scalable from 8-bit to 64-bit microcontroller environments. The main governing standards in NuttX are from the Portable Operating System Interface (POSIX) and the American National Standards Institute (ANSI). Further standard application programming interfaces (APIs) from Unix and other common RTOSes (such as VxWorks) are adopted for functions unavailable under these standards, or inappropriate for deeply embedded environments, such

PikeOS is a commercial hard real-time operating system (RTOS) which has a separation kernel-based hypervisor that supports multiple logical partition types for various operating systems (OS) and applications, each referred to as a GuestOS. PikeOS is engineered to support the creation of certifiable smart devices for the Internet of Things (IoT). In instances where memory management units (MMU) are not present but memory protection units (MPU) are available on controller-based systems, PikeOS for MPU is designed for critical real-time applications and provides up-to-standard safety and security