I have checked the PWM library in the nRF Connect SDK, and it seems that the library does not support init and deinit functions. The function pwm_set_pulse_dt(&pwm_led, 0)
only sets the pulse width to 0, but the PWM module is still running, right? So, if I want to completely deinitialize the PWM module, I need to use the nrfx
library, correct?