Help getting Marvell-A388 SBC booted

[doc.solo at web.de]

Hi,

I'm trying to get FreeBSD-12 booted on this device: https://wiki.kobol.io/

It's a Marvell-A388 based SBC.

No matter what I tried, I got this output:

---
   Autoboot in 0 seconds, hit [Enter] to boot or any other key to stop     

Loading kernel...
/boot/kernel/kernel text=0x864d6c data=0xb0da0+0x1f54e0 syms=[0x4+0xa1060+0x4+0x101505]
Loading configured modules...
can't find '/boot/entropy'
Using DTB provided by U-Boot at address 0x2040000.
Kernel entry at 0x2400180...
Kernel args: (null)
---

No error message, nothing. I tried several U-Boot-versions, different parameters, loading addresses. The U-Boot part seems to work just fine. I think its ubldr that doesn't get the kernel loaded properly.

Do I need the FreeBSD specific U-Boot from ports? What makes them special? What does ubldr need to load the kernel? What should I try to debug any further? Thanks for your help.

Regards,

Sören