OpenRTX/platform/mcu
..
CMSIS
ESP32S3
MK22FN512xxx12
STM32F4xx
x86_64/drivers