# CONFIG_PWM_IMX_TPM is not set
