Eu estava tentando instalar o cuda 9.1 no meu Ubuntu 16.04, mas isso me dá um erro que o caminho de origem do kernel não foi encontrado.
Depois de perder muito tempo, fiquei sabendo que o kernel deveria ser o 4.4 para instalar o cuda 9.1 no Ubuntu 16.04 (de acordo com link ).
Meu kernel é 4.13.alguma coisa, como posso fazer downgrade para 4.4?
Eu acabei de instalar o Ubuntu usando a imagem iso do site do Ubuntu. Eu não atualizei o kernel sozinho, era o padrão.