PWM signal for Servo motor control is generated using HardwareTimer library from Arduino_Core_STM32, for every i/o pin, that has PWM capability. Timer and channel are configured within the attach() ...

This is a library for the Arduino IDE that helps interface with ST's VL53L4CD time-of-flight distance sensor. The library makes it simple to configure the sensor and read range data from it via I²C.