[Pkg-raspi-maintainers] State of Debian kernel wrt RPi's

[Diederik de Haas]

Hi,

I recently started working again on a RPi netinstaller (https://github.com/
debian-pi/raspbian-ua-netinst/ or https://github.com/diederikdehaas/raspbian-ua-netinst/tree/buster-update) and thus far I've always used the debian-style 
kernel (and bootloader) package that plugwash (man behind raspbian.org) made.
I already knew that RPi4 wasn't supported, but it turns out RPi3B isn't fully/
properly supported either (CPU Revision returns '0000' instead of 'a02082').
The raspbian.org kernel is still at 4.9 and I'm not sure if the kernel and 
bootloader will be updated, at least any time soon.

If I use the kernel + bootloader from the Raspberry Pi Foundation (RPF), I do 
get the right CPU Revision. But I actually want to move more towards (pure) 
Debian to towards RPF's direction.
I like that raspi(3)-firmware package places the bootloader files in /boot/
firmware and I should be able to adapt to that.
I also know that there's a specific Debian kernel for RPi 1+Zero, but that's 
for the armel arch (I know and understand why).

What I have not been able to figure out is how good the -armmp(-lpae) kernels 
are for RPi 2-4. AFAIK RPF has upstreamed several things, but probably not 
all.
So I was hoping this list could tell me the state of the -armmp(-lpae) kernels 
was (versus the RPF ones).
For now, I'm only focussing on 32bit.

Cheers,
  Diederik
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: <http://alioth-lists.debian.net/pipermail/pkg-raspi-maintainers/attachments/20190807/4c92579e/attachment.sig>