NXP offers Linux SDK 1.9 for the T4240 boars. This SDK provides Linux kernel 3.12.37.
NXP offers Linux SDK 2.0 for the T4240 boars. This SDK provides Linux kernel 4.1.30.
See the following page:
https://www.nxp.com/support/developer-resources/run-time-software/linux-software-and-development-too...
See the Section 3.3.2 of NXP SDK 2.0-1703 documentation about kernel customizing:
https://www.nxp.com/docs/en/supporting-information/QORIQ-SDK-2.0-IC-REV0.pdf
See also AN4814 about porting U-Boot and Linux to T4240 Systems:
https://www.nxp.com/docs/en/application-note/AN4814.pdf?fsrch=1&sr=3&pageNum=1
Have a great day,
Pavel Chubakov
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------