Não tenho certeza se ainda é relevante, mas tive um problema semelhante e, como Mark Plotnick disse nos comentários, o seguinte comando corrigiu:
sudo apt-get install raspberrypi-kernel-headers
Eu peguei a fonte cryptodev do link no diretório ~/cryptodev , I arquivo tar descompactado e eu entrei no diretório ~/cryptodev/cryptodev-linux-1.9 . Segui as instruções no link e digitei o comando make e recebi o erro abaixo:
hubot@hubot-vps:~/cryptodev/cryptodev-linux-1.9 $ make
make -C /lib/modules/4.9.24-v7+/build M=/home/hubot/cryptodev/cryptodev-linux-1.9 modules
make[1]: *** /lib/modules/4.9.24-v7+/build: No such file or directory. Stop.
Makefile:27: recipe for target 'build' failed
make: *** [build] Error 2
Parei nesse erro e não sei o que devo fazer em seguida. Eu conto com ajuda. Obrigado antecipadamente.
Não tenho certeza se ainda é relevante, mas tive um problema semelhante e, como Mark Plotnick disse nos comentários, o seguinte comando corrigiu:
sudo apt-get install raspberrypi-kernel-headers
Tags cryptsetup raspbian