Hi Igor,
Many thanks for your reply.
Following your instructions, I was indeed able to install both openSuse and Debian distributions. Some components such as HDMI display were not supported, but this is probably fine. Can you just confirm this is not something that is known to work ?
I tried to boot Fedora IOT 34 from an SD card, but I still have the same issue. Grub loads correctly, but then the Linux kernel boot hangs with only the following messages on serial console:
Device 0: unknown device
EFI stub: Booting Linux Kernel...
EFI stub: EFI_RNG_PROTOCOL unavailable
EFI stub: Using DTB from configuration table
EFI stub: Exiting boot services and installing virtual address map...
Is this an issue you are aware of ?
Best regards,
Mathieu