static const PWMConfig pwmcfg = {400000, /* 400kHz PWM clock frequency.  */
                                 4096,   /* PWM period is 4096 cycles.    */
                                 NULL,
                                 {{PWM_OUTPUT_ACTIVE_HIGH, NULL},
                                  {PWM_OUTPUT_ACTIVE_HIGH, NULL},
                                  {PWM_OUTPUT_ACTIVE_HIGH, NULL},
                                  {PWM_OUTPUT_ACTIVE_HIGH, NULL}},
                                 /* HW dependent part.*/
                                 0};

pwmStart(&PWMD3, &pwmcfg);

palSetPadMode(GPIOB, 8, PAL_MODE_ALTERNATE(2));
palSetPadMode(GPIOB, 9, PAL_MODE_ALTERNATE(2));
palSetPadMode(GPIOB, 0, PAL_MODE_ALTERNATE(2));
palSetPadMode(GPIOB, 1, PAL_MODE_ALTERNATE(2));

pwmEnableChannel(&PWMD3, 0, (pwmcnt_t)(inlet_pb8 >= 0 ? inlet_pb8 >> 15 : 0));
pwmEnableChannel(&PWMD3, 1, (pwmcnt_t)(inlet_pb9 >= 0 ? inlet_pb9 >> 15 : 0));
pwmEnableChannel(&PWMD3, 2, (pwmcnt_t)(inlet_pb0 >= 0 ? inlet_pb0 >> 15 : 0));
pwmEnableChannel(&PWMD3, 3, (pwmcnt_t)(inlet_pb1 >= 0 ? inlet_pb1 >> 15 : 0));

pwmStop(&PWMD3);