Wiznet W5500 Ethernet device driver?

[Michael Jung]

Hello,

There is a include/nuttx/net/w5500.h header file for the WIZnet W5500
Ethernet Controller in the NuttX code base, but no accompanying device
driver.  Does anybody know whether such a driver exists somewhere?

Thanks!
Michael