¿Cuál es una buena referencia para el controlador Ethernet sin un sistema operativo?

Pronto trabajaré en una implementación de Ethernet para una capacidad básica (sin SO) en un procesador basado en ARM. Estoy algo familiarizado con el modelo de controlador de Ethernet en el libro de controladores de dispositivo de Linux, pero me pregunto si hay una referencia para implementar un...