Philip Rinn dijo [Thu, Sep 10, 2020 at 12:09:29PM +0200]:
> Hi Gunnar,
>
> thanks for testing - but your message leaves me a little confused. You claim, the
> bug is fixed but you say
>
> > we have used only regular linux-image-armmp kernels (and have no
> > reason to suppose -lpae is needed).
>
> So, my question, did you actually test with an "-lpae" kernel?
At the time of my bug report, I had not tested it yet. I checked right
now, downloading an image from raspi.debian.net, and installing the
-lpae kernel, I can confirm it boots correctly all the way to:
root@rpi2-20200910:~# uname -a
Linux rpi2-20200910 4.19.0-10-armmp-lpae #1 SMP Debian 4.19.132-1 (2020-07-24) armv7l GNU/Linux
> While being technically correct that an "-lpae" kernel is not needed, the kernel
> should still also work on an rpi2 _with_ an "-lpae" kernel.
OK, I'm happy to have understood this correctly :-)
Attachment:
signature.asc
Description: PGP signature