The links to all the source files are on the wiki:
https://duet3d.com/wiki/Source_Files
The Ethernet files on github are for the Ethernet module, I have updated the wiki page to make that clearer.
If you have a look here:
https://duet3d.com/wiki/Hardware_overview
You will see that the Wifi/Ethernet modules are mounted on the Duet main board.
The Duet 0.8.5 is an older design.