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 :-)
signature.asc
Description: PGP signature