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