Raspberry Pi OS 64 Bit conversion

Board Integrations Debian family
#1

Hello,

I’ve tried to do a conversion of a vanilla 2022.01 Raspberry Pi OS 64bit image directly from the raspberry pi foundation and had no success. The only thing I changed in the config files was in raspberrypi4_config to have RASPBERRYPI_KERNEL_IMAGE="kernel8.img" as that is the 64 bit kernel, and it failed to actually boot past the rainbow splash screen. Mender-config did not throw any errors. Ideas?

#2

This Is prbably due the fact that the u-boot image installed is compiled as 32bit binary which in turn expects to load a 32 bit kernel.

1 Like
#3

FYI: We will start looking into this in the near future:

Here is the (not yet broken down) epic if you guys are curious

https://tracker.mender.io/browse/MEN-5634