Eu assumo que a camada de abstração de hardware conhece as particularidades do hardware subjacente através de tabelas ACPI. Essas tabelas são atualizadas pelo BIOS? Eu suponho que o BIOS os coloca na memória em um local que o sistema operacional possa localizar.
Como a camada de abstração de hardware ou hal.dll sabe como traduzir uma instrução de driver genérica para algo que o firmware entende? Como ele faz uma interface perfeita entre combinações de drivers x e combinações de dispositivos y, todas as vezes?