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 um SoC executado com uma pilha de software personalizada.
Existem implementações de referência para os processadores de arquitetura ARM ou alguma orientação sobre como implementar um driver Ethernet em um processador ARM?