Good Morning! I am interested in using the Hercules RM42x/RM41x MCUs and the SafeTI HALCoGen (Hardware Abstraction Layer Code Generator) and the SafeTI™ Diagnostic Library. If I have understood correctly, both are certified to IEC 61508 up to a SIL 3 level. IEC 61508 permits some degree of tailoring. In other words, not all requirements need to be met and not all processes need to be followed. Can you provide any insight on which requirements and/or processes were waived for both of these? Thanks!