Teensy 4 is not a kinetis architecture, copying the file over is most likely covering up a problem rather than fixing it. I don’t think ProffieOS is supposed to include kinetis.h for a teensy4 setup. Are you sure you’re using ProffieOS 7.14?
As you can see kinetis.h won’t be included if USE_TEENSY4 is defined, and USE_TEENSY4 is defined here:
So if it’s trying to include kinetis.h, there is something wrong with your config files or ProffieOS setup.
I did a clean install of 7.14 and used the config file you referenced - the kinetis error is gone (must have been a copy and paste error…), so I’m back to where I was.
When you compile the teensy_audio_shield_micom.h, do you get the warnings I shared earlier? Or do you get a clean compile?
I think it compiled without warnings (but I’m not in front of that computer right now to verify). However, the warnings may depend on the optimization level, and/or the verbosity level set in the preferences.