arduino-esp32/cores
Ivan Grokhotkov 93c45af256 Use esp_timer_get_time as time source for micros and mills (#1424)
esp_timer_get_time returns monotonic time in microseconds, as a 64-bit
number. It can be called from tasks and interrupts, does not use any
critical sections/mutexes, and is thread safe.
2018-05-22 16:12:30 +02:00
..
esp32 Use esp_timer_get_time as time source for micros and mills (#1424) 2018-05-22 16:12:30 +02:00