After several months of development, I am making available an early version of my μT-Kernel 3.0 ports for modern embedded platforms.
Current status:
✅ ESP32-C3 ✅ Raspberry Pi Pico 🚧 ESP32-C6 ** 🚧 ESP32-S3 with experimental SMP support ** 🚧 Raspberry Pi Pico with experimental SMP support ** 🚧 Raspberry Pi Pico 2 with SMP support (under development)
(** repository cleanup in progress)
One objective of this work is to demonstrate that developers using ESP32 and Raspberry Pi Pico platforms are not limited to FreeRTOS. μT-Kernel offers a different approach and heritage, and these ports aim to make it accessible on affordable and commonly used hardware.
For the ESP32 family, the implementation allows μT-Kernel to coexist with ESP-IDF so developers can continue using Wi-Fi, Bluetooth, ESP-MESH, and other ESP-IDF components.
The SMP implementations borrow ideas from T-Kernel/SMP and are currently experimental.
This is still preliminary work and should not be considered production-ready. Extensive testing has been performed, but further validation and community feedback are welcome.
GitHub: https://github.com/sirfonzie/mtk3-hub
A research paper describing the architecture, implementation, and performance evaluation is currently being prepared.
Sirfonzie
Aaron Angert