RPI B boot problem

[Bob Bishop]

Hi,

Can anyone confirm whether a recent HEAD image (eg FreeBSD-13.0-CURRENT-arm-armv6-RPI-B-20190718-r350103.img) is working? I’m seeing:

mmc1 is current device
Scanning mmc 1:1...
Found EFI removable media binary efi/boot/bootarm.efi
libfdt fdt_check_header(): FDT_ERR_BADMAGIC
Scanning disk mmc at 7e300000.blk...
Found 3 disks
FDT memrsv map 0: Failed to add to map
BootOrder not defined
617112 bytes read in 47 ms (12.5 MiB/s)
libfdt fdt_check_header(): FDT_ERR_BADMAGIC
FDT memrsv map 0: Failed to add to map
## Starting EFI application at 00080000 ...
Consoles: EFI console  
    Reading loader env vars from /efi/freebsd/loader.env
Setting currdev to disk0p1:
failed to allocate staging area: 9
failed to allocate staging area
## Application terminated, r = 5
EFI LOAD FAILED: continuing…

Thanks

--
Bob Bishop
rb at gid.co.uk