FreeBSD-16.0-CURRENT-arm64-aarch64-RPI-20260525-490c53e9353f-286096.img won't boot rpi5

void <[email protected]> Mon, 01 Jun 2026 13:33:49 +0100
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <[email protected]>
Hello,

FreeBSD-16.0-CURRENT-arm64-aarch64-RPI-20260525-490c53e9353f-286096.img won't boot on the rpi5.
Is this expected?

Here are the errors from the debug probe. The boot process gets to the state indicated
at "USB MSD stopped. Timeout: 25 seconds" and repeats the sequence after that over and over.

Why is it looking for 
[sdcard] bcm2712-rpi-5-b.dtb not found 
?

  0.87 RPi: BOOTSYS release VERSION:85353ce4 DATE: 2026/02/23 TIME: 10:01:39                                                           
  0.88 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1771840899 serial 1af94b12 boardrev e04171 stc 883398                       
  0.89 AON_RESET: 00000003 PM_RSTS 00001000                        
  0.89 POWER_OFF_ON_HALT: 0 WAIT_FOR_POWER_BUTTON 0 power-on-reset 1                                                                   
  0.90 RP1_BOOT chip ID: 0x20001927                                                                                                    
  0.91 PCIEx1: PWR 0 DET_WAKE 0                                                                                                        
  0.91 part 00000000 reset_info 00000000                                                                                               
  0.91 PMIC reset-event 00000000 rtc 00000000 alarm 00000000 enabled 0                                                                 
  0.92 uSD voltage 3.3V                                                                                                                
  0.92 SDRAM_CONFIG: 1b                                                                                                                
  0.92 Initialising SDRAM rank 2 total-size: 128Gbit 0 part: 0 (0x1b 0x1b)                                                             
  0.93 memsys_init: 0 128Gbit MCB 0x80015ff0: 5488                                                                                     
  0.93 DDR 4267 Mbps dual-rank:1 byte-mode:1 size-gbit:128                                                                             
  1.58 RP1 FW: load 0                                                                                                                  
  1.59 RP1_BOOT chip ID: 0x20001927                                                                                                    
  2.75 RP1 FW: load 1                                              
  3.18 OTP boardrev e04171 bootrom a a                                                                                                 
  3.18 Customer key hash 0000000000000000000000000000000000000000000000000000000000000000                                              
  3.18 VC-JTAG unlocked                                                                                                                
  3.21 RP1_BOOT chip ID: 0x20001927                                                                                                    
                                                                                                                                       
  3.85 PCI2 init                                                                                                                       
  3.87 PCI2 reset                                                                                                                      
  3.91 PCIe scan 00001de4:00000001                                                                                                     
  3.91 RP1_CHIP_INFO 20001927                                                                                                          
                                                                                                                                       
  3.91 RPi: BOOTLOADER release VERSION:85353ce4 DATE: 2026/02/23 TIME: 10:01:39                                                        
  3.92 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1771840899 serial 1af94b12 boardrev e04171 stc 3925144                      
  3.93 PCIEx1: PWR 0 DET_WAKE 0                                    
  3.38 M.2 PCIe HAT not detected.                                                                                                      
  3.94 usb_pd_init status 3                                                                                                            
  3.94 USB_PD CONFIG 0 41                                                                                                              
  4.01 XHCI-STOP                                                                                                                       
  4.01 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  4.02 USBSTS 11                                                                                                                       
  4.03 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  4.03 xHC0 ports 3 slots 64 intrs 4                                                                                                   
  4.04 XHCI-STOP                                                                                                                       
  4.04 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  4.05 USBSTS 1                                                                                                                        
  4.05 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  4.05 xHC1 ports 3 slots 64 intrs 4                                                                                                   
  4.06 USB-PD: src-cap PDO object1 0x0a0191f4                      
  4.06 Current 5000 mA                                                                                                                 
  4.07 Voltage 5000 mV                                                                                                                 
  4.07 USB-PD: src-cap PDO object2 0x0002d12c                                                                                          
  4.07 Current 3000 mA                                                                                                                 
  4.07 Voltage 9000 mV                                                                                                                 
  4.08 USB-PD: src-cap PDO object3 0x0003c0e1                                                                                          
  4.08 Current 2250 mA                                                                                                                 
  4.08 Voltage 12000 mV                                                                                                                
  4.08 USB-PD: src-cap PDO object4 0x0004b0b4                                                                                          
  4.09 Current 1800 mA                                                                                                                 
  4.09 Voltage 15000 mV                                                                                                                                                                                                                                                        
  4.13 SD_OC: 0                                                                                                                        
  4.38 Boot mode: USB-MSD (04) order f1                                                                                                
  4.85 USB3[3] 002a1203 connected enabled                          
  4.86 USB3 root HUB port 3 init                                                                                                       
  4.89 USB2[2] 000206e1 connected                                                                                                      
  4.34 DEV [01:00] 3.32 000000:03 class 0 VID 0b95 PID 1790                                                                            
  4.44 USB2[2] 00200603 connected enabled                                                                                              
  4.48 USB2 root HUB port 2 init                                                                                                       
  4.37 DEV [02:00] 2.00 000000:02 class 0 VID 046d PID c52b                                                                            
  4.78 USB2[2] 00020ae1 connected                                                                                                      
  4.98 HID [02:00] 2.00 000000:02 register HID                                                                                         
  4.31 USB2[2] 00200a03 connected enabled                                                                                              
  4.32 USB2 root HUB port 2 init                                                                                                       
  4.50 DEV [01:00] 1.16 000000:02 class 0 VID 1a2c PID 4b61                                                                            
  4.18 HID [01:00] 1.16 000000:02 register HID                                                                                         
  8.83 XHCI-STOP                                                   
  8.83 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  8.84 USBSTS 18                                                                                                                       
  8.84 XHCI-STOP                                                                                                                       
  8.84 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  8.85 USBSTS 18                                                                                                                       
  8.85 XHCI-STOP                                                                                                                       
  8.85 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  8.86 USBSTS 19                                                                                                                       
  8.86 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  8.87 xHC0 ports 3 slots 64 intrs 4                                                                                                   
  8.88 XHCI-STOP                                                                                                                       
  8.88 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  8.88 USBSTS 19                                                   
  8.88 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d                                                                     
  8.89 xHC1 ports 3 slots 64 intrs 4                                                                                                   
  8.01 USB2[2] 000206e1 connected                                                                                                      
  8.17 USB2[2] 00020ae1 connected                                                                                                      
  8.82 USB3[3] 002a1203 connected enabled                                                                                              
  8.83 USB3 root HUB port 3 init                                                                                                       
  8.86 USB2[2] 00200603 connected enabled                                                                                              
  8.90 USB2[2] 00200a03 connected enabled                                                                                              
  8.93 USB2 root HUB port 2 init                                                                                                       
  9.00 DEV [01:00] 3.32 000000:03 class 0 VID 0b95 PID 1790                                                                            
  9.01 DEV [01:00] 1.16 000000:02 class 0 VID 1a2c PID 4b61                                                                            
  9.25 HID [01:00] 1.16 000000:02 register HID                                                                                         
  9.77 USB2 root HUB port 2 init                                                                                                       
  9.10 DEV [02:00] 2.00 000000:02 class 0 VID 046d PID c52b        
  9.12 HID [02:00] 2.00 000000:02 register HID                                                                                         
 33.32 USB MSD stopped. Timeout: 25 seconds                                                                                            
 33.97 SD_OC: 0                                                                                                                        
 33.73 Boot mode: SD (01) order f                                                                                                      
 34.04 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276               
 34.05 SD HOST: 200000000 CTL0: 0x00800f00 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276               
 34.13 OCR c0ff8000 [117]                                                                                                              
CID: 00ad4c535553443030103a768b560197                                                                                                  
CSD: 400e0032db790000ec537f800a400000                                                                                                  
 34.14 SD: bus-width: 4 spec: 2 SCR: 0x02358487 0x00000000                                                                             
 34.15 SD HOST: 200000000 CTL0: 0x00800f04 BUS: 50000000 Hz actual: 50000000 HZ div: 4 (2) status: 0x1fff0000 delay: 2                                                                                                                                                         
 34.16 MBR: 0x00000800,  102400 type: 0x0c                                                                                             
 34.16 MBR: 0x00019800,10381312 type: 0xa5                                                                                             
 34.16 MBR: 0x00000000,       0 type: 0x00                         
 34.17 MBR: 0x00000000,       0 type: 0x00                                                                                             
 34.76 Trying partition: 0                                                                                                             
 34.34 type: 16 lba: 2048 'BSD4.4  ' '      ^     ' clusters 12783 (8)                                                                 
 34.23 rsc 4 fat-sectors 50 root dir cluster 1 sectors 32 entries 512                                                                  
 34.24 FAT16 clusters 12783                                                                                                            
 34.24 [sdcard] autoboot.txt not found                                                                                                 
 34.24 Select partition rsts 0 C(boot_partition) 0 EEPROM config 0 result 1                                                            
 34.56 Trying partition: 1                                                                                                             
 34.59 type: 16 lba: 2048 'BSD4.4  ' '      ^     ' clusters 12783 (8)                                                                 
 34.26 rsc 4 fat-sectors 50 root dir cluster 1 sectors 32 entries 512                                                                  
 34.27 FAT16 clusters 12783                                                                                                            
 34.76 Read config.txt bytes      177 hnd 0x1ab2                                                                                       
 34.27 [sdcard] pieeprom.upd not found                             
 34.81 usb_max_current_enable default 0 max-current 5000                                                                               
 34.28 [sdcard] bcm2712-rpi-5-b.dtb not found                                                                                          
 34.91 Device-tree file "bcm2712-rpi-5-b.dtb" not found.                                                                               
 34.96                                                                                                                                 
 34.96 The installed operating system (OS) does not indicate support for Raspberry Pi 5                                                
 34.04 Update the OS or set os_check=0 in config.txt to skip this check.                                                               
 34.34 Select partition rsts 0 C(boot_partition) 0 EEPROM config 0 result 1                                                            
 34.35 Partition walk: 1                                                                                                               
 34.54 Trying partition: 1                                                                                                             
 34.57 type: 16 lba: 2048 'BSD4.4  ' '      ^     ' clusters 12783 (8)                                                                 
 34.36 rsc 4 fat-sectors 50 root dir cluster 1 sectors 32 entries 512                                                                  
 34.36 FAT16 clusters 12783                                                                                                            
 34.73 Read config.txt bytes      177 hnd 0x1ab2                   
 34.37 [sdcard] pieeprom.upd not found                                                                                                 
 34.36 usb_max_current_enable default 0 max-current 5000                                                                               
 34.43 [sdcard] bcm2712-rpi-5-b.dtb not found                                                                                          
 34.42 Device-tree file "bcm2712-rpi-5-b.dtb" not found.                                                                               
 34.47                                                                                                                                 
 34.48 The installed operating system (OS) does not indicate support for Raspberry Pi 5                                                
 34.56 Update the OS or set os_check=0 in config.txt to skip this check.                                                               
 34.01 Trying partition: 2                                                                                                             
 34.01 Non FAT partition 2 sectors 10381312 type 04                                                                                    
 34.05 Failed to open partition 2                                                                                                      
 34.08 Trying partition: 3                                                                                                             
 34.11 Non FAT partition 3 sectors 0 type 04                                                                                           
 34.15 Failed to open partition 3                                                                                                      
 34.18 Trying partition: 4                                         
 34.20 Non FAT partition 4 sectors 0 type 04                                                                                           
 34.24 Failed to open partition 4                                                                                                      
 34.28 Trying partition: 5                                                                                                             
 34.30 Failed to open partition 5                                                                                                      
 34.53 Finished partition walk                                                                                                         
 34.53 Retry SD 1                                                                                                                      
 34.56 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276               
 34.57 SD HOST: 200000000 CTL0: 0x00800f00 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276               
 34.64 OCR c0ff8000 [2]                                                                                                                
CID: 00ad4c535553443030103a768b560197                                                                                                  
CSD: 400e0032db790000ec537f800a400000                                                                                                                                                                                                                                          
 34.64 SD: bus-width: 4 spec: 2 SCR: 0x02358487 0x00000000                                                                             
 34.65 SD HOST: 200000000 CTL0: 0x00800f04 BUS: 50000000 Hz actual: 50000000 HZ div: 4 (2) status: 0x1fff0000 delay: 2                 
 34.66 MBR: 0x00000800,  102400 type: 0x0c                         
 34.66 MBR: 0x00019800,10381312 type: 0xa5                                                                                             
 34.67 MBR: 0x00000000,       0 type: 0x00                                                                                             
 34.67 MBR: 0x00000000,       0 type: 0x00                                                                                             
 34.79 Trying partition: 0                                                                                                             
 34.82 type: 16 lba: 2048 'BSD4.4  ' '      ^     ' clusters 12783 (8)                                                                 
 34.68 rsc 4 fat-sectors 50 root dir cluster 1 sectors 32 entries 512                                                                  
 34.69 FAT16 clusters 12783                                                                                                            
 34.70 [sdcard] autoboot.txt not found                                                                                                 
 34.70 Select partition rsts 0 C(boot_partition) 0 EEPROM config 0 result 1                                                            
 34.07 Trying partition: 1                                                                                                             
 34.10 type: 16 lba: 2048 'BSD4.4  ' '      ^     ' clusters 12783 (8)                                                                 
 34.71 rsc 4 fat-sectors 50 root dir cluster 1 sectors 32 entries 512                                                                  
 34.72 FAT16 clusters 12783                                        
 34.27 Read config.txt bytes      177 hnd 0x1ab2                                                                                       
 34.72 [sdcard] pieeprom.upd not found                                                                                                 
 34.32 usb_max_current_enable default 0 max-current 5000                                                                               
 34.73 [sdcard] bcm2712-rpi-5-b.dtb not found                                                                                          
 34.41 Device-tree file "bcm2712-rpi-5-b.dtb" not found.                                                                               
 34.46                                                                                                                                 
 34.47 The installed operating system (OS) does not indicate support for Raspberry Pi 5                                                
 34.55 Update the OS or set os_check=0 in config.txt to skip this check.                                                               
 34.79 Finished partition walk                                                                                                         
 34.83 SD_OC: 0                                                                                                                        
 34.37 Boot mode: RESTART (0f) order 0                                                                                                 
 34.83 Restart 0 max -1                                                                                                                
 34.88 SD_OC: 0                                                    
 34.81 Boot mode: USB-MSD (04) order f1                                                                                                
 59.55 USB MSD stopped. Timeout: 25 seconds                                                                                            
 59.99 SD_OC: 0                                                                                                                        
 59.96 Boot mode: SD (01) order f                                                                                                      
 60.01 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276               
 60.02 SD HOST: 200000000 CTL0: 0x00800f00 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276               
 60.14 OCR c0ff8000 [81]                                                                                                               
CID: 00ad4c535553443030103a768b560197                                                                                                  
CSD: 400e0032db790000ec537f800a400000                                                                                                  
 60.14 SD: bus-width: 4 spec: 2 SCR: 0x02358487 0x00000000                                                                             
 60.15 SD HOST: 200000000 CTL0: 0x00800f04 BUS: 50000000 Hz actual: 50000000 HZ div: 4 (2) status: 0x1fff0000 delay: 2      

(etc)