Hello, I do not understand the main idea of your doubt, are you referring to the number of the MCU? do not worry I will try to help you.
On the SDK builder find the TWR-KM35, the major of EVK has examples. If you want to use a specific device km35xxxx different from the board EVK you could migrate the example to your target.
Select Board | MCUXpresso SDK Builder (nxp.com)

Let me know if you need more information.
Best regards,
Pavel