Looking at the picture of the board you referenced, it is similar, but only contains the one power/serial micro USB connector - and it's definitely a serial port since it configures a port on the host when attached, and outputs to it.
The doc you referenced shows it is general to K80, K81 and K82 processors, and all are Cortex-M4 32-bit 4-core processors, but the K81 board has crypto hardware and tamper detection hardware.
Unfortunately, everything relating to the K81F150M that I have, appears to be released to us under NDA, so I can't provide a link to my specific SDK. :,(
Here is a link to the public NXP K81 information page for the board I'm using. I can access it after logging out from NXP, so it should be public information:
https://www.nxp.com/design/development-boards/tower-development-boards/mcu-and-processor-modules/kin...
Thank you so much for your attention so far, and I'm hopeful maybe you'll be able to offer some insight I'm lacking.
Regards,
Rich