SuperTinyKernel™ RTOS (STK) is a high-performance, deterministic, bare-metal C++ real-time operating system designed for resource-constrained embedded systems.
Note: This repository is related to examples configured exclusively for STM32CubeIDE. For details about SuperTinyKernel RTOS, visit its project on GitHub.
🛠 Getting Started with STM32CubeIDE
STK provides ready-to-use examples for popular development boards. Follow these steps to get up and running:
-
Clone the Repository:
git clone https://github.com/SuperTinyKernel-RTOS/stk-examples-stm32cube.git cd stk-examples-stm32cube -
Initialize Dependencies: Navigate to your chosen example folder and run the configuration script. This will automatically fetch the STK kernel and necessary HAL drivers.
cd stm/blinky-stm32f407g-disc1 python configure.py -
Build & Flash: Open the generated project in STM32CubeIDE, compile, and flash your board. To reconfigure project use STM32CubeMX.
| Board | Path | Description |
|---|---|---|
| STM32F407G-DISC1 | stm\blinky-stm32f407g-disc1 |
Basic LED toggle using STK tasks/threads. |
Note: Using GCC/Eclipse, or MCUXpresso? Examples for these environments are located in the main STK repository: STK Main Repo - Examples
- Core: Repository
- Documentation: STK API
- Issue Tracker: Report a bug