search

GenPi64 / genpi64-overlay

Gentoo overlay for the Raspberry Pi 3 and 4
GNU General Public License v3.0
7 stars 12 forks source link

sys-kernel/raspberrypi-kernel should use raspberrypi_os's kernel config instead of fedora's #89

Open jonesmz opened 2 years ago

jonesmz commented 2 years ago

I'm fairly certain that this is the repository that contains the image builder for raspberry pi os, including the 64bit image that was recently released with support for the rpi 0 w 2.

https://github.com/RPi-Distro/pi-gen

We should use their kernel configuration, instead of fedora's, as the baseline for our kernel builds.

samip5 commented 2 years ago

We want Gentoo patches which is why we are following Fedora as those come directly from the gentoo kernel ebuild.

jonesmz commented 2 years ago

Something about the way we are building our kernel prevents raspberry pi 0w2 from working.

samip5 commented 2 years ago

Unfortunately, that's one of the hard to come by Pis atm so I cannot even test. :)

jonesmz commented 2 years ago

Simply looking at the contents of /boot for the official raspberry pi 64 bit image shows that we are missing all sorts of stuff, including the pi0w2 dtbo files

samip5 commented 2 years ago

The missing dtbo files migh be an upstream gentoo problem or where do they come from?

jonesmz commented 2 years ago

They are built by the kernel build.

See this conversation https://github.com/RPi-Distro/pi-gen/issues/586