Thanks so much for your quick reply, Adrian. Sadly, you've confirmed what I suspected - there is no way to determine max frequency.
My application case is rather limited to K60 devices with FPUs; Although our current systems use 150Mhz K60s, I do need to support older batches of hardware that were built with 120MHz devices. I was hoping to be able to detect which device was present at boot time, and adjust MCGOUTCLK max freq accordingly. It sounds like you are saying that there is no way to do that. Pity.
On a different note, is there a document that summarizes the differences in revisions for all the K-series devices? I am looking for something like EB782, but I see that EB782 is for 100Mhz non-FPU devices. Is there a similar document for the 120Mhz and 150MHz devices with FPUs?
Thanks again,
-bill