Hi Alice,
Thank you, that is helpful!
For those reading this and about to break out their FRDM-K22F board it is helpful to know that the console uart signals come out on J2-18 (UART1_TX) and J2-20 (UART1_RX). Set Baud to **9600**.
Rande, Regarding the clockConfigNumber missing. I did find a config box labeled "Configuration structures generation".

Without that being checked nothing is generated as far as the various clock configs as best I can tell.
Best regards,
Mark