Files
nuttx/boards/arm/s32k3xx