enhancement - machine.time_pulse_us()

[pacmac]

As the code for this has already been figured out, is there any chance this can be merged into the pycom port ??

https://github.com/micropython/micropython-esp32/blob/esp32/extmod/machine_pulse.c

It works very well and is EXTREMELY useful ?!

http://docs.micropython.org/en/v1.8.7/pyboard/library/machine.html#machine.time_pulse_us

Thanks

[robert-hh]

An equivalent, if no better method has been implemented by pycom.pulses_get(), which will time a trail of pulses. So this can be closed.