Agora, esse driver é novo. Foi lançado há um mês atrás. O problema é que ele se recusa a compilar. Eu sigo rigorosamente as instruções do manual de instalação sem sucesso. Eu tentei instalar o pacote Linux-headers para a versão do kernel 4.9. Alguém pode me ajudar? Se mais informações forem necessárias, postarei. Desde já, obrigado! O manual de instalação é encontrado no zip de download do driver. O driver é baixado diretamente do site do Tp-link.