Hi,
K40 GPIO pins provide two drive strength: high drive strength and low drive strength.
Please check below table to find the drive strength capability:

The GPIO pin could provide drive current about 9mA.
If customer want to use GPIO pin to drive as power supply, I don't think GPIO pin could provide enough drive current.
The K40 provides USB voltage regulator, which could output 3.3V with Max. 120mA drive current at VOUT33 pin.
Wish it helps.
Have a great day,
Ma Hui
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------