It is indeed ath9K_htc.I reinstalled the whole OS, and now the proper Wi-Fi network is already listed. But after inputting the passphrase, I still can't access the network via Wi-Fi.
I'll reinstall the linux-libre kernel now, and see how it goes.
Btw, for your linux-libre tutorial: "gpg --with-fingerprint gpg.asc" was incomplete in my case.But "gpg --show-keys gpg.asc" did the trick (the fingerprint shows, although without spacing).
And thank you for your repo :)
