Archive Notice:
Mainstream STM support has been upstreamed into the main tock kernel.
Tock for STM32
This repository contains ports of Tock for STM32 chips and Discovery/Nucleo boards. Learn more about Tock on the official website.
Getting Started
Follow the official getting started guide to setup your system to compile Tock and Tock applications.
Supported Boards
Tock supports more than just STM32-based boards, take a look at the boards which are part of main repository too!