Hi All,i am using STM32MP135-DK kit & i want to interface the ultrasonic sensor HC-SR04.from user space i have tried to make gpio toggle at 10uSec ON/OFF which will be trigger signal for sensor but what i  observe in the trigger output pin is not tog...