Open-source alternatives to TinyAra

Lightweight justice for your single-board computer!

Easy-to-use Raspberry Pi image for booting directly into full-screen Chrome, with built-in convenience features for unattended operation. Perfect for dashboards and build monitors.

SD card image for Raspberry Pi with Docker: HypriotOS

This branch contains the kernel source/header files.

Easy to use framework for ROS2 FPGA-based hardware acceleration

The LK kernel is an SMP-aware kernel designed for small systems ported to a variety of platforms and cpu architectures.

NuttX fork of the official one for use with micro-ROS.

A linux distribution based on Nix maintainer=@MagicRB

An unofficial NixOS fork with a FreeBSD kernel

NodeOS is an operating system that boots a Linux kernel with Node.js running as the primary userspace, replacing traditional shell utilities with JavaScript execution. Every npm package is treated as a native system command, making hundreds of thousands of packages directly executable at the OS level. The operating system is built inside Docker containers using a reproducible pipeline that generates ext2 filesystem images, with the ability to conditionally disable KVM for systems without hardware virtualization. It mounts a persistent usersfs partition for user home directories, preserving ch

This is the first 64-bit system in the world to support all Raspberry Pi 64-bit hardware!!! (Include: PI400,4B,3B+,3B,3A+,Zero2W)

OpenWrt is a modular Linux distribution designed for resource-constrained networking hardware. It functions as a comprehensive network routing platform, providing a complete build environment that allows users to generate custom firmware images for a wide variety of embedded processor architectures. By utilizing a standardized cross-compilation toolchain and a package-based ecosystem, it enables the creation of tailored operating systems for specific hardware deployments. The project distinguishes itself through a hardware abstraction layer that normalizes interactions across diverse chipsets

An operating system written in D

This repository is DEPRECATED and exists only for educational purposes

.. figure:: docs/mckernel-logo.png

RIOT is a real-time operating system designed for resource-constrained microcontrollers. It provides a kernel for managing hardware peripherals, memory, and multitasking on embedded devices, featuring a microcontroller hardware abstraction layer to unify hardware access across different chipsets. The system employs a preemptive tickless task scheduler with priority-based execution to maximize energy efficiency in battery-powered hardware. It also includes an embedded security framework consisting of cryptographic APIs and secure transport protocols to facilitate authenticated over-the-air fir