K64F Support in mbed os 6

Will the K64F / other NXP products be supported in mbed OS 6?

Also, which branch of targets.json shows the current list of supported mbed 6 boards:
( https://github.com/ARMmbed/mbed-os/blob/master/targets/targets.json )

Hi Alex,

I would be very surprised if K64F is not any more supported even it has been replaced by K66.
In general ARM does not have all Mbed targets and is only certain boards. Most of the Mbed target testing is done by partners.