machine.time_pulse_us()

[crankshaft]

@daniel - 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