26 projects
Zephyr Project
The Zephyr Project is a scalable real-time operating system (RTOS) supporting multiple hardware architectures, optimized for resource constrained devices, and built with safety and security in mind.
15,597
1,841
$149M
OpenWrt
OpenWrt is a Linux operating system targeting embedded devices, particularly wireless routers. It provides a fully writable filesystem with package management, allowing users to customize and extend their router's functionality through software packages.
10,141
1,428
$26M
PX4
PX4 is used in a wide range of use-cases, from consumer drones to industrial applications. It is also the leading research platform for drones and has been successfully applied to under water vehicles and boats.
9,868
987
$622M
LEDE
Lean's LEDE source
7,650
440
$78M
openpilot
openpilot is an open source driver assistance system that offers adaptive cruise control, automated lane centering, and other advanced driver assistance features. It uses computer vision and machine learning to provide semi-autonomous driving capabilities across supported vehicle models.
3,730
359
$4.8M
ImmortalWrt
ImmortalWrt is an open-source embedded operating system based on OpenWrt, focused on providing a stable and feature-rich firmware for wireless routers and other network devices. It includes enhanced performance optimizations, additional package support, and improved hardware compatibility.
3,721
501
$27M
Mbed OS
Mbed OS is an open-source real-time operating system designed for IoT devices and microcontrollers, providing a platform-agnostic software framework for developing embedded applications. It includes hardware abstraction, security features, connectivity stacks, and device management capabilities.
2,947
394
$361M
RT-Thread
RT-Thread is an open-source real-time operating system (RTOS) for embedded devices. It provides a kernel with real-time scheduling, semaphores, mutexes, and inter-thread communication, along with components for network protocols, file systems, and device drivers. The system is designed to be lightweight, stable, and scalable for IoT and embedded applications.
2,660
145
$337M
OP-TEE Trusted OS
OP-TEE (Open Portable Trusted Execution Environment) is an open source trusted OS that implements TEE Internal Core API v1.1.x specifications. It provides a secure world operating system that runs alongside the normal world OS, offering secure services and trusted applications execution in an isolated environment.
1,974
226
$19M
Apache NuttX
Apache NuttX is a real-time operating system (RTOS) with an emphasis on standards compliance and small footprint. It features POSIX and ANSI standards compliance, scalable architecture supporting 8-bit to 64-bit microprocessor architectures, and highly configurable modular components.
1,814
239
$155M
RIOT OS
RIOT is a real-time multi-threading operating system designed for Internet of Things (IoT) devices and other resource-constrained embedded systems. It supports multiple architectures, provides a developer-friendly programming model, and offers features like hardware abstraction, networking capabilities, and extensive documentation for IoT development.
1,621
284
$118M
LibreELEC
LibreELEC (Libre Embedded Linux Entertainment Center) is a lightweight 'Just enough OS' Linux distribution purpose-built for Kodi media center software. It runs on a variety of hardware platforms and is designed to boot and run entirely from RAM, providing a fast, stable, and maintenance-free Kodi experience.
1,446
191
$8.1M
FreeRTOS Kernel
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
789
107
$7.3M
OpenATV
OpenATV is an open-source software project that develops and maintains a custom firmware/distribution for Enigma2-based satellite receivers and set-top boxes. It provides a complete operating system and user interface for digital television reception, recording, and playback.
672
34
$9.4M
seL4
The seL4 microkernel
468
81
$6.5M
Apache NuttX Apps
Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS
Embox
Modular and configurable OS for embedded applications
Linux Repository for Digilent Boards
Linux Repository for digilent boards
RTEMS
Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems
TizenRT
TizenRT is a lightweight RTOS-based platform to support low-end IoT devices
TockOS
A secure embedded operating system for microcontrollers
nRF Connect SDK
nRF Connect SDK main repository