search

DieterReuter / image-builder-rpi64

Build SD card image for Raspberry Pi 3 64bit
MIT License
157 stars 37 forks source link

Can I get a kernel header? #42

Closed fudekun closed 6 years ago

fudekun commented 6 years ago

I would like to build a DKMS adapted to "image-builder-rpi64". However, I do not know where the kernel header exists. At least it is impossible to acquire it with apt-get. Is it possible to offer it?

DieterReuter commented 6 years ago

I'm building the 64-bit kernel in this repo https://github.com/DieterReuter/rpi64-kernel. Maybe you should rebuild the kernel by yourself and then I think you have to extend the kernel build in order to get the kernel headers as .deb packages as well. I'd be happy to included these into the release section, so please send me a PR with the changes.

DieterReuter commented 6 years ago

Closing this issue due to inactivity.