I thought that they were supposed to have used a good
chunk of CP/M
source in creating TOS, though.
Probably not. The TOS is both the AES & GEMVDI and it's all 68K assembly.
I don't think CP/M-68K was ported to the ST until after AtariGEM was
released.
g.