`UINT16_MAX` should be the same value on all platforms, so why not use `puts` instead of `printf` here instead. Also, `llvm` detects an issue with using the `UINT16_MAX` macro with `PRIu16` here.
Expected result
If everything is running as supposed to, you should see a 1KHz PWM with oscillating duty cycle on each channel of the selected PWM device.
Background
Test for the low-level PWM driver.