Thank you for your interest in Intel products.
Please check the link below and let me know if it was helpful for you:
where can I find the linux kernel source code?
I can't find any kernel sources in the zip file provided by your link.
1 of 1 people found this helpful
The kernel source 4.4.76 can be downloaded from the following link:
ok, I was able to fetch the source, to recompile it and to install it.
Everything is functional, thanks.
However, why isn't there a spi device installed on this intel aero plateform ?
there is no spidev device present in the /dev/ directory eventhough the option is activate in the kernel config, do you know why?