Skip to content

Entry

tock/tock

Appears in 5 awesome lists

An embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers, with support for the BBC micro:bit.

Open github.comtock/tock

Found in these lists

Awesome-Embedded

Section: RTOS · A secure embedded operating system for Cortex-M based microcontrollers.

FreshScore 85

Awesome Embedded Resources for Developers

Section: RTOS · Embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers (Rust).

FreshScore 80

Awesome micro:bit

Section: Rust RTOS targeting micro:bit · An embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers, with support for the BBC micro:bit.

ActiveScore 71

Awesome Rust

Section: Operating systems · A secure embedded operating system for Cortex-M based microcontrollers

FreshScore 79

Awesome Rust

Section: Operating systems · A secure embedded operating system for Cortex-M based microcontrollers

FreshScore 94

Zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

In 6 listsDetails

RIOT

Real-time multi-threading operating system that supports a range of devices that are typically found in the Internet of Things (IoT): 8-bit, 16-bit and 32-bit microcontrollers. RIOT is based on the following design principles: energy-efficiency, real-time capabilities, small memory footprint,…

In 5 listsDetails

RT-Thread

RT-Thread was born in 2006, it is an open source, neutral, and community-based real-time operating system (RTOS). RT-Thread has Standard version and Nano version. For resource-constrained microcontroller (MCU) systems, the NANO kernel version that requires only 3KB Flash and 1.2KB RAM memory…

In 5 listsDetails

cfenollosa/os-tutorial

How to create an OS from scratch

In 4 lists

OSRTOS

A list of open source Real Time Operating Systems (RTOS). Licence: CC BY-SA 3.0.

In 3 lists

FreeRTOS

is an open source, real-time operating system for microcontrollers that makes small, low-power edge devices easy to program, deploy, secure, connect, and manage.

In 3 lists

MINIX

Minix® is a POSIX®-compliant Unix-like computer operating system based on a microkernel architecture. In 2017 it was learned that Intel™ used a version of MINIX on many of its x86-series processors, perhaps making it the most popular Unix-like operating system .

In 3 lists

FreeRTOS

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

In 3 lists