Arduino pulseIn() equivalent

[gitcodr]

Please implement an Arduino pulseIn() equivalent in mongoose-os. Reference can be found here: https://www.arduino.cc/en/Reference/PulseIn

[grand87]

It is very important API for future Arduino libraries wrapping - for example Ultrasonic sensor requires it
See below link:
https://github.com/JRodrigoTech/Ultrasonic-HC-SR04

[redhoodie]

👍 Very keen for this to get done; for now using Arduino

[jameselsey]

I'm also keen for this feature, without pulseIn I can't see a way to read echo data from a HC-SR04 ultrasonic sensor