# CONFIG_PWM_MC33XS2410 is not set
