nuttx/boards/arm/s32k1xx/drivers
..
Kconfig