Galileo pinmux issue


As I was testing Zephyr on Galileo, I noticed that pinumx functionalities that use pwm for multiplexing are not working. A small modification in pinmux.c(, consisting in changing the pulse_count parameter of pwm_pin_set_cycles from 100 to 4095 seems to have solved the problem. This change was suggested by the commentaries in the pwm driver.
Is this a good solution?

Join to automatically receive all group messages.