Hi,
Yes, we do provide CMSIS compliant header files, if you have KDS v1.1.1 installed in your computer you can find the header files for the devices following this path:
<install_folder>\KDS_1.1.1\eclipse\ProcessorExpert\Config\PE\CPE\wizard_data\wizards\kds
As far as I know the KSDK drivers are MISRA compliant. I was checking the CMSIS drivers you mentioned and I see that are very similar to the KSDK drivers but I cannot ensure this are also CMSIS format compliant.
I hope this information can help you.
Regards,
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. It would be nice!
-----------------------------------------------------------------------------------------------------------------------