Спасибо
yaleksКоманда помогла. Оказывается не был установлен kernel-headers-modules-std-def
Также обновил ядро и kernel headers до последней версии. Сейчас это 4.9.133-std-def-alt0.M80P.1
Установка продолжилась, но прервалась с ошибкой при установке драйвера drviplir.ko. В чем может быть причина ошибки? Есть идеи?
Ниже кусок лога с ошибками:
Спойлер
[10:11:58] STEP 6: Installing drivers
[10:11:58] Compiling drivers...
Kernel dir '/lib/modules/4.9.133-std-def-alt0.M80P.1/build'
Kernel ver '4.9.133-std-def-alt0.M80P.1'
Drivers build for kernel version 4.9.133-std-def-alt0.M80P.1
./scripts/gcc-goto.sh: line 5: cannot create temp file for here document: No such file or directory
make[1]: Entering directory `/usr/src/linux-4.9.133-std-def-alt0.M80P.1'
CC [M] /tmp/dist1539846679/src/tmp.itcskrniface.o/itcskrniface.o
/tmp/dist1539846679/src/tmp.itcskrniface.o/itcskrniface.c: In function 'cleanup_module':
/tmp/dist1539846679/src/tmp.itcskrniface.o/itcskrniface.c:367:8: error: void value not ignored as it ought to be
rc = misc_deregister(&gItcsDevice);
^
/tmp/dist1539846679/src/tmp.itcskrniface.o/itcskrniface.c: In function 'mymemcmp':
/tmp/dist1539846679/src/tmp.itcskrniface.o/itcskrniface.c:428:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
return (void*) memcmp( dest, src, count );
^
make[2]: *** [/tmp/dist1539846679/src/tmp.itcskrniface.o/itcskrniface.o] Error 1
make[1]: *** [_module_/tmp/dist1539846679/src/tmp.itcskrniface.o] Error 2
make[1]: Leaving directory `/usr/src/linux-4.9.133-std-def-alt0.M80P.1'
cp: cannot stat '/tmp/dist1539846679/src/tmp.itcskrniface.o/itcskrniface.ko': No such file or directory
[10:12:03] Drivers compiled
[10:12:03] Compiled driver drviplir.ko was not found to install.
[10:12:03] Failed to install drviplir.ko
[10:12:03] Installation ABORTED.
[10:12:03] Exit with code 24