O que é uma boa referência para o driver Ethernet sem um sistema operacional?

Em breve, trabalharei na implementação de Ethernet para um recurso bare metal (sem SO) em um processador baseado em ARM. Estou um pouco familiarizado com o modelo de driver Ethernet no livro Linux Device Drivers, mas estou me perguntando se há uma referência para implementar um driver Ethernet para...