Quelle est une bonne référence pour le pilote Ethernet sans système d'exploitation?

Bientôt, je travaillerai sur une implémentation Ethernet pour une capacité sans système d'exploitation (sans OS) sur un processeur ARM. Je connais quelque peu le modèle de pilote Ethernet dans le livre Linux Device Drivers, mais je me demande s'il existe une référence pour implémenter un pilote...