DP83TC811R-Q1: RTOS device driver

Part Number: DP83TC811R-Q1
Other Parts Discussed in Thread: ETHERNET-SW, DP83TC811

Hi,

I'm checking following URL to confirm RTOS driver.
ETHERNET-SW Driver or library | TI.com 

Then, I found following information.
image.png
When I checked about "RTOS-DP83TC811" URL, it seems that there is only "DP83TC812" driver information.

image.png
Could you please give "DP83TC811" RTOS driver information ?

Best Regards,