Eu tenho um Laptop HP HDX16-1354CA no qual eu instalei o Fedora 19, e minha porta ethernet não está sendo detectada. Tenho certeza de que é porque eu não instalei os drivers para ele, mas não consigo encontrar nenhum driver ethernet proprietário para o linux em lugar algum. Existe alguma maneira de procurar por todos os drivers proprietários que correspondem ao seu sistema, como o Ubuntu faz com a opção "Drivers adicionais"? O equivalente Windows para o driver que eu preciso é o Driver NIC Fast Ethernet Realtek PCI-E.