[Pkg-raspi-maintainers] Raspberry Pi 3 running armhf!

[Tianon Gravi]

On 15 October 2017 at 08:43, Tianon Gravi <tianon at debian.org> wrote:
> On 15 October 2017 at 03:17, Michael Stapelberg <stapelberg at debian.org> wrote:
>> …provided you commit to testing and fixing it, of course :).
>> Personally, I can only test the arm64 image, so that’s the only thing
>> I’m personally willing to call supported. Thanks!
>
> Heh yeah, that's the real catch here -- I won't get to keep this
> stack; it's borrowed and for a demo, queued to be returned as soon as
> we're finished with the demo, so I won't be able to do much
> testing/verification of it all once I'm done (and definitely won't be
> able to commit to fixing it).

After spending far more time on this than I ever should've allowed
myself, I cannot successfully boot Debian's linux-image-armmp-lpae
kernel on the Raspberry Pi 3.  I tried every which combination I could
think of -- adjusting raspi3-firmware bits properly to boot in 32bit
mode, to boot the correct kernel, to use the right dtb.

In the end, the closest I got was adjusting "flash-kernel" to write
out an appropriate boot.scr, making sure all that was copied to the
fat32 partition, copying "u-boot.bin" from the "rpi_3_32b" folder of
the "u-boot-rpi" package to the fat32 partition (as directed by
u-boot-rpi's README.Debian) and adjusting "config.txt" to use
"kernel=u-boot.bin", which successfully loaded u-boot and successfully
attempted to load the kernel, but _still_ no dice.

In the end, for this project, we're just going to end up using arm64
kernel and keep the bits we need 32bit just using armhf userspace
binaries (and liberal use of "linux32" to fake out the uname).

:'(

♥,
- Tianon
  4096R / B42F 6819 007F 00F8 8E36  4FD4 036A 9C25 BF35 7DD4