Você identificou corretamente o pacote firmware-brcm80211
necessário. Mas o Debian é mais rígido sobre os princípios do software livre que o Ubuntu, e assim o firmware está na seção "não-livre" do repositório de pacotes Debian. Esta seção pode não estar habilitada em seu sistema por padrão, a menos que você tenha a previsão de escolhê-la especificamente durante a instalação.
Em /etc/apt/sources.list
, haverá uma ou mais linhas como esta:
deb stretch
Se esse arquivo estiver vazio, pode haver outros arquivos de configuração do repositório no diretório /etc/apt/sources.list.d/
.
Geralmente, o <repository section keywords>
pode incluir apenas main
por padrão. Você vai querer mudar para pelo menos main non-free
.
Depois disso, você deve executar apt-get update
e, em seguida, apt-get install firmware-brcm80211
. Em seguida, descarregue + recarregue o módulo do kernel da sua interface Wi-Fi ou simplesmente reinicie.