Does it work with raspberry pi pico?

[TomP4211]

I know it says it works with Raspberry Pi. But does it work also with the raspberry pi pico?

[arkhipenko]

If you provide your own millis() method in an Arduino.h file it totally should.
This is probably the only Arduino dependency of the entire library.

[TomP4211]

Thank you for the fast reply! Would something like this work?:

static uint64_t startTime = 0;

void initMillis() {
startTime = time_us_64();
}

uint64_t millis() {
uint64_t currentTime = time_us_64();
return (currentTime - startTime) / 1000;
}

Basically converting the time from microseconds (time_us_64) to miliseconds? Is there anything else i need to look out for?

[arkhipenko]

millis() should be uint32_t, other than that, that's it.

[arkhipenko]

You might need to also provide micros(), but it could be empty to just satisfy the dependency if you are not using it.

Or just convert (time_us_64) to uint32_t and return that.

[TomP4211]

Thank you so much! I will try to do that.