Raspbian

Tiny OS

Main development repository for TinyOS (an OS for embedded, wireless devices).

Snappy Ubuntu

Snappy Ubuntu Core is a new rendition of Ubuntu with transactional updates. It provides a minimal server image with the same libraries as today’s Ubuntu, but applications are provided through a simpler mechanism

NodeOS

NodeOS is an operating system entirely written in Javascript, and managed by npm on top of the Linux kernel

Mbed OS

Open-source operating system for Internet of Things (IoT) Cortex-M boards: low-powered, constrained and connected. Mbed OS provides an abstraction layer for the microcontrollers it runs on, so that developers can write C/C++ applications that run on any Mbed-enabled board