incubator-nuttx/Documentation/platforms/arm/s32k1xx/boards
..
rddrone-bms772
s32k118evb
s32k144evb
s32k146evb
s32k148evb
ucans32k146