Hello:
If you use TWR-K40X256, then when creating the project you can go with MK40DX256Z or PK40X256 (under 100 MHz).

Also from the CPU component in Processor Expert, make sure to select the MAPBGA option:

Hope this helps!
Regards!,
Jorge Gonzalez
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------