respondTime = pulseIn(ECHO, HIGH); // microseconds
if(RAK4631_BOARD)
{
// Time calibration factor is 0.7726,to get real time microseconds for 4631board
respondTime = respondTime*0.7726;
}
I did check on my own sensor as well as on the non-wisblock ultrasonic sensor (the generic ones). The scaling seems to be needed. Without it, the reading is higher.
I have no another board than 4630 that can test with adafruit pulsein. But it can be on the implementation on pulsein. Quick search shows it is software implemented. Maybe some tolerance (but I have no exact idea).