While the link is for a different model HP, the Atheros driver is the one you need. I do not see a mention of 32 bit or 64 bit, so pick whichever is needed and then scroll down looking for the Atheros Network controller download. Let us know if that solves the problem.
↧