Re: FreeBSD-16.0-CURRENT-arm64-aarch64-RPI-20260525-490c53e9353f-286096.img won't boot rpi5
Mark Millard <[email protected]> Mon, 1 Jun 2026 07:34:13 -0700
| Newsgroups | gmane.os.freebsd.devel.arm |
|---|---|
| Message-ID | <[email protected]> |
On 6/1/26 05:33, void wrote: > Hello, > > FreeBSD-16.0-CURRENT-arm64-aarch64-RPI-20260525-490c53e9353f-286096.img won't boot on the rpi5. > Is this expected? Expected: So far as I know, the only fairly general boot context is still based on draft/partial EDK2's providing UEFI/ACPI (which EDK2 variant to use that way depends on pre-D0 vs. D0 BCM2712's). I can set up and boot USB3 media and NVMe media with such. But, as stands, the fan is not operational for current EEPROM versions. (It used to automatically spin up in early enough EEPROM versions.) > > 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 > ? That is a file from the RPi* folks, not from FreeBSD. Normally FreeBSD media do not include *.dtb files for what are unsupported RPi*'s as far as the FreeBSD OS is concerned. bcm2712's are the SOC's for the RPi5 (and its variants), unique to them and notably different in many ways from all prior RPi* SOCs. There is significant kernel work to having general RPi5 operation with some U-Boot in place. FreeBSD does not actively support draft/partial EDK2 UEFI/ACPI for such. All the below output is from the RPi* firmware in the EEPROM. It never got to U-Boot, much less: the FreeBSD efi loader, the FreeBSD kernel, or the FreeBSD world. It just stayed in the RPi firmware. I'm not aware of a U-Boot that FreeBSD works with for the RPi5 (and its variants). Device-Tree instead of ACPI work might be using the EDK2's in Device Tree mode for all I know. As I understand, various folks are taking stabs at getting more RPi5 stuff operational. That might include helping get an appropriate U-Boot in place. > > 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) > > -- === Mark Millard marklmi at yahoo.com