Um site útil (mas um pouco datado) que usei algumas vezes está aqui:
Isso vincula-se a um fornecedor e à lista de dispositivos do PCI, o que pode funcionar também para o computador de bordo. De qualquer maneira, esse primeiro site pode ser útil, no mínimo, para você ir na direção certa. Boa sorte!