Unable to boot 9.2 on SolidRun Cubox i4pro

[Andrea Sormanni <andrea.sormanni%gmail.com@localhost>]

Hello,
i'm unable to boot NetBSD 9.2 on my SolidRun Cubox i4pro, the GENERIC
kernel loads but does not starts. After a while, a spontaneous reboot
occurs, with same result.

The board appears (or not ?) supported, among installation files on
NetBSD site i can see several ARM kernels, including "CUBOX" and
"CUBOX-I" variants, so i assume that the support is in place.

I've downloaded the official armv7 installation image (checksum OK) in
an x86_64 NetBSD VM running on my main workstation, then installed
SolidRun U-Boot official version (with other versions -> black screen
only) using loop device method:

Host-001# ls
armv7.img              spl-imx6-sdhc.bin      u-boot-imx6-sdhc.img
Host-001# vnconfig /dev/vnd0 armv7.img
Host-001# dd if=spl-imx6-sdhc.bin of=/dev/rvnd0 bs=1k seek=1 conv=sync
51+0 records in
51+0 records out
52224 bytes transferred in 0.003 secs (17408000 bytes/sec)
Host-001# dd if=u-boot-imx6-sdhc.img  of=/dev/rvnd0 bs=1k seek=69 conv=sync
321+1 records in
322+0 records out
329728 bytes transferred in 0.021 secs (15701333 bytes/sec)
Host-001# vnconfig -u /dev/vnd0

Then flashed the resulting image on SD Card via BalenaEtcher, also
trying several of them just in order to avoid a bad one, without
errors.

Here the boot log, captured via Cubox serial console:

------- cut here -------

U-Boot 2018.01-02296-g457cdd60c3 (May 17 2018 - 22:59:22 +0200),
Build: jenkins-u-boot-imx6-variant=sdhc-2

CPU:   Freescale i.MX6Q rev1.5 996 MHz (running at 792 MHz)
CPU:   Extended Commercial temperature grade (-20C to 105C) at 33C
Reset cause: POR
Board: MX6 Cubox-i
       Watchdog enabled
DRAM:  2 GiB
MMC:   FSL_SDHC: 0, FSL_SDHC: 1
No panel detected: default to HDMI
Display: HDMI (1024x768)
In:    serial
Out:   serial
Err:   serial
Net:   FEC
Hit any key to stop autoboot:  0
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:1...
Found U-Boot script /boot.scr
reading /boot.scr
201 bytes read in 10 ms (19.5 KiB/s)
## Executing script at 12000000
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:1...
Found EFI removable media binary efi/boot/bootarm.efi
libfdt fdt_check_header(): FDT_ERR_BADMAGIC
Scanning disks on usb...
Scanning disks on mmc...
MMC: no card present
mmc_init: -123, time 44
MMC Device 2 not found
MMC Device 3 not found
Scanning disks on sata...
Found 8 disks
reading efi/boot/bootarm.efi
185456 bytes read in 42 ms (4.2 MiB/s)
libfdt fdt_check_header(): FDT_ERR_BADMAGIC
## Starting EFI application at 12000000 ...
WARNING: Invalid device tree, expect boot to fail


>> NetBSD/evbarm efiboot (arm), Revision 1.13 (Wed May 12 13:15:55 UTC 2021)
Press return to boot now, any other key for boot prompt
booting netbsd - starting in 0 seconds.
6744836+2068632+1388392 [403602+461280+481068]=0xb05038

------- ends here -------

No other messages at all, board hangs until spontaneous reboot.

Please advice if there is something that i'm doing wrong.

Regards.