This page contains notes about my effort to bring up a Raspberry Pi 5 with 16GB RAM.
Setup
I used the procedure to set up a Raspberry Pi 5 using a SD card containing rpi5-uefi and a SSD containing FreeBSD 15/RPI (RPI-20250130).
As serial console I use a USB-C CDC Serial SH. I get the output on serial as well as on HDMI.
To keep output on HDMI I needed to change 'framebuffer_depth=16' in config.txt of rpi5-uefi.
Booting
Boot output on serial (captured on MacOS):
# cu -s 115200 -l /dev/tty.usbmodem03141
Connected.
0.17 RPi: BOOTSYS release VERSION:26826259 DATE: 2024/09/23 TIME: 14:02:56
0.21 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1727096576 serial 77b4f939 boardrev e04171 stc 921659
0.31 AON_RESET: 00000003 PM_RSTS 00001000
0.39 RP1_BOOT chip ID: 0x20001927
0.41 PM_RSTS: 0x00001000
0.42 part 00000000 reset_info 00000000
0.45 PMIC reset-event 00000000 rtc 00000000 alarm 00000000 enabled 0
0.51 uSD voltage 3.3V
0.58 SDRAM_CONFIG: 1b
0.58 Initialising SDRAM rank 2 total-size: 128 Gbit 4267 (0x1b 0x1b)
0.64 DDR 4267 1 1 128 152
2.19 OTP boardrev e04171 bootrom a a
2.21 Customer key hash 0000000000000000000000000000000000000000000000000000000000000000
2.28 VC-JTAG unlocked
2.51 RP1_BOOT chip ID: 0x20001927
3.59 RP1_BOOT chip ID: 0x20001927
3.59 RP1_BOOT: fw size 25992
3.14 PCI2 init
3.15 PCI2 reset
3.59 PCIe scan 00001de4:00000001
3.60 RP1_CHIP_INFO 20001927
3.62 RPi: BOOTLOADER release VERSION:26826259 DATE: 2024/09/23 TIME: 14:02:56
3.69 BOOTMODE: 0x06 partition 0 build-ts BUILD_TIMESTAMP=1727096576 serial 77b4f939 boardrev e04171 stc 3869978
3.80 AON_RESET: 00000003 PM_RSTS 00001000
3.83 PCIEx1: PWR 0 DET_WAKE 0
3.86 M.2 PCIe HAT not detected.
3.11 usb_pd_init status 3
3.11 USB_PD CONFIG 0 41
3.18 XHCI-STOP
3.18 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
3.22 USBSTS 1
3.25 xHC0 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
3.30 xHC0 ports 3 slots 64 intrs 4
3.42 XHCI-STOP
3.42 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
3.47 USBSTS 1
3.49 xHC1 ver: 272 HCS: 03000440 140000f1 07ff000a HCC: 0240fe6d
3.54 xHC1 ports 3 slots 64 intrs 4
3.62 Boot mode: SD (01) order f4
4.62 USB-PD: src-cap PDO object1 0x0a0191f4
4.63 Current 5000 mA
4.65 Voltage 5000 mV
4.67 USB-PD: src-cap PDO object2 0x0002d12c
4.72 Current 3000 mA
4.74 Voltage 9000 mV
4.76 USB-PD: src-cap PDO object3 0x0003c0e1
4.80 Current 2250 mA
4.82 Voltage 12000 mV
4.84 USB-PD: src-cap PDO object4 0x0004b0b4
4.88 Current 1800 mA
4.90 Voltage 15000 mV
4.07 SD HOST: 200000000 CTL0: 0x00800000 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276
4.18 SD HOST: 200000000 CTL0: 0x00800f00 BUS: 400000 Hz actual: 390625 HZ div: 512 (256) status: 0x1fff0000 delay: 276
4.27 USB3[3] 00021203 connected enabled
4.29 USB3 root HUB port 3 init
4.34 DEV [01:00] 3.00 000000:03 class 0 VID 152d PID 0578
4.38 MSD device [01:00] 3.00 000000:03 conf 0 iface 0 ep 81#1024 02#1024
4.44 MSD [01:00] 3.00 000000:03 register MSD
4.61 OCR c0ff8000 [22]
CID: 00125678415354430034000002f40102
CSD: 400e00325b5900001d477f800a400000
4.68 SD: bus-width: 4 spec: 2 SCR: 0x02b58000 0x00000000
4.76 SD HOST: 200000000 CTL0: 0x00800f04 BUS: 50000000 Hz actual: 50000000 HZ div: 4 (2) status: 0x1fff0000 delay: 2
4.86 MBR: 0x00000001, 7675903 type: 0xee
4.88 MBR: 0x00000000, 0 type: 0x00
4.92 MBR: 0x00000000, 0 type: 0x00
4.95 MBR: 0x00000000, 0 type: 0x00
4.99 Trying partition: 0
4.02 GPT cc8fb4c411d5ef11983eb827eb2f57d4 000000001 000751fff num-partitions 128 entry-size 128
4.11 GPT partition: 0 c12a7328-f81f-11d2-ba4b-00a0c93ec93b 000000800..0000197ff
4.18 Matched GUID bootable-part-idx 0 want partition 0
4.23 type: 16 lba: 2048 'BSD4.4 ' ' ^ ' clusters 12783 (8)
4.29 rsc 1 fat-sectors 50 root dir cluster 1 sectors 32 entries 512
4.36 FAT16 clusters 12783
4.40 [sdcard] autoboot.txt not found
4.41 Select partition rsts 0 C(boot_partition) 0 EEPROM config 0 result 0
4.48 Trying partition: 0
4.51 GPT cc8fb4c411d5ef11983eb827eb2f57d4 000000001 000751fff num-partitions 128 entry-size 128
4.59 GPT partition: 0 c12a7328-f81f-11d2-ba4b-00a0c93ec93b 000000800..0000197ff
4.66 Matched GUID bootable-part-idx 0 want partition 0
4.72 type: 16 lba: 2048 'BSD4.4 ' ' ^ ' clusters 12783 (8)
4.78 rsc 1 fat-sectors 50 root dir cluster 1 sectors 32 entries 512
4.84 FAT16 clusters 12783
4.89 Read config.txt bytes 384 hnd 0x235
4.91 [sdcard] pieeprom.upd not found
4.94 usb_max_current_enable forced to 1
4.05 Read bcm2712-rpi-5-b.dtb bytes 81167 hnd 0x1f2
4.07 dt-match: compatible: raspberrypi,5-model-b match: brcm,bcm2712
4.14 dt-match: compatible: brcm,bcm2712 match: brcm,bcm2712
NOTICE: BL31: v2.10.0(release):682607f
NOTICE: BL31: Built : 03:43:04, Mar 16 2024
UEFI firmware (version v0.3 built at 03:44:45 on Mar 16 2024)
ESC (setup), F1 (shell), ENTER (boot)......
Consoles: EFI console
Reading loader env vars from /efi/freebsd/loader.env
Setting currdev to disk1p1:
FreeBSD/arm64 EFI loader, Revision 3.0
(Thu Jan 30 04:51:30 UTC 2025 root@releng3.nyi.freebsd.org)
Command line arguments: loader.efi
Image base: 0x37d4f000
EFI version: 2.70
EFI Firmware: worproject (rev 1.00)
Console: efi (0x1000)
Load Path: \EFI\BOOT\BOOTAA64.EFI
Load Device: VenHw(0D51905B-B77E-452A-A2C0-ECA0CC8D514A,000020001F00000000)/U
SB(0x2,0x0)/HD(1,MBR,0x00000000,0x800,0x19000)
BootCurrent: 0001
BootOrder: 0000 0002 0001[*]
BootInfo Path: VenHw(0D51905B-B77E-452A-A2C0-ECA0CC8D514A,00F0FF001000000000)
/SD(0x0)
Ignoring Boot0001: Only one DP found
Trying ESP: VenHw(0D51905B-B77E-452A-A2C0-ECA0CC8D514A,000020001F00000000)/USB(0
x2,0x0)/HD(1,MBR,0x00000000,0x800,0x19000)
Setting currdev to disk1p1:
Trying: VenHw(0D51905B-B77E-452A-A2C0-ECA0CC8D514A,000020001F00000000)/USB(0x2,0
x0)/HD(2,MBR,0x00000000,0x19800,0x9E6800)
Setting currdev to disk1p2:
Loading /boot/defaults/loader.conf
Loading /boot/defaults/loader.conf
Loading /boot/device.hints
Loading /boot/loader.conf
Loading /boot/loader.conf.local
Loading kernel...
/boot/kernel/kernel text=0x318 text=0x99f958 text=0x2ca788 data=0x180670 data=0x
0+0x371000 0x8+0x16ffc8+0x8+0x1a164e|
Loading configured modules...
can't find '/boot/entropy'
/boot/kernel/umodem.ko text=0x20c0 text=0x1538 data=0x708+0x4 0x8+0xed0+0x8+0xaf
4
loading required module 'ucom'
/boot/kernel/ucom.ko text=0x263d text=0x31b8 data=0x988+0x858 0x8+0x12c0+0x8+0xb
c8
can't find '/etc/hostid'
Hit [Enter] to boot immediately, or any other key for command prompt.
Booting [/boot/kernel/kernel]...
Loading splash ok
No valid device tree blob found!
WARNING! Trying to fire up the kernel, but no device tree blob found!
EFI framebuffer information:
addr, size 0x3f600000, 0x5eec00
dimensions 1440 x 1080
stride 1440
masks 0x00ff0000, 0x0000ff00, 0x000000ff, 0xff000000
x0: 0xffff000000fcae40
x1: 0x0000000000000001
x2: 0x0000000000000019
x3: 0x0000000000000064
x4: 0x0000000000000076
x5: 0x0000000000000000
x6: 0x1700000000000000
x7: 0x0000000000000017
x8: 0xffff000000defb20
x9: 0xffff000001044000
x10: 0xffff00000103f000
x11: 0x0101010101010101
x12: 0x000000000000003b
x13: 0x0000000000000001
x14: 0x1700000000000000
x15: 0x0000000000000010
x16: 0x00000000000000b4
x17: 0x0000000000000000
x18: 0xffff000000def880
x19: 0xffff000000fcae40
x20: 0xffff000000dec000
x21: 0xffff00000114b800
x22: 0x0000000000000000
x23: 0x0000000038070018
x24: 0xffff000001152000
x25: 0xffffa00000000000
x26: 0xffffa0003b5d0018
x27: 0x000000003095b000
x28: 0xffff00000114b000
x29: 0xffff000000defaa0
sp: 0xffff000000def880
lr: 0xffff0000008687a8
elr: 0xffff0000008687bc
spsr: 0x00000000804002c9
far: 0xe1f35e376ecbf7f7
esr: 0x00000000be000011
panic: Unhandled System Error
cpuid = 0
time = 1
KDB: stack backtrace:
#0 0xffff000000505fc0 at ??+0
#1 0xffff0000004b6cec at ??+0
#2 0xffff0000004b6b48 at ??+0
#3 0xffff000000885d00 at ??+0
#4 0xffff00000085b158 at ??+0
Uptime: 1s
Rebooting...
cpu_reset failed