pico: use pico_rand for random API

32blit / 32blit-sdk

32blit SDK

https://32blit.com

MIT License

197 stars 69 forks source link

Closed Daft-Freak closed 1 year ago

Daft-Freak commented 1 year ago

Seems appropriate, but requires latest pico-sdk.

Also saves 2.5k RAM.

Gadgetoid commented 1 year ago

I think it's reasonable to assume the latest SDK in all cases.

Thank you!