nuttx/boards/arm/s32k1xx/s32k146evb/include
..
board.h