Magneti Marelli
Due to the collaboration with the Tool &amp; Methodologies team of Magneti Marelli Powertrain &amp; Electronics, the automotive kernel (BCC1, BCC2, ECC1, ECC2, multicore, memory protection, and kernel fixed priority with Diab 5.5.1 compiler) is MISRA C 2004 compliant using FlexeLint 9.00h under the configuration suggested by Magneti Marelli.