Soon I will be working on an Ethernet implementation for a bare metal (no OS) capability on an ARM-based processor. I am somewhat familiar with the Ethernet driver model in the Linux Device Drivers book, but I'm wondering if there is a reference for implementing an Ethernet driver for a SoC run with a custom software stack.
Are there any reference implementations for ARM architecture processors, or is there any guidance on how to implement an Ethernet driver on an ARM processor?