Yes, see for example the project which this repo acknowledges at the end.[0]

[0]: https://github.com/sandeepmistry/pico-rmii-ethernet