We see lots of MISRA violations when looking at drivers produced for the MK64 microcontroller. Our initial assumption was that this code was not meant to be compliant (with MISRA C 2004) but I recently saw that there were a fair number of postings related to MISRA and started wondering if I was missing something.
If it is supposed to be compliant, is there any sort of compliance statement available?
Thanks,
James