Existem algumas respostas considerando a instalação dos drivers cuda no debian 9 (stretch) aqui, porém, até onde eu posso julgar, eles misturam o Ubuntu com fontes Debian, e isso provavelmente travou meu sistema quando eu segui suas instruções...
25.07.2017 / 10:56