Nick Hudson <nick.hudson%gmx.co.uk@localhost> writes: > The SD card structure and booting process section has this new note > > Note: The RPI5 UEFI presentation of the SD card does NOT currently > work with the NetBSD kernel. That is, other storage is required for > the NetBSD installation. Thanks for the wiki update. FWIW, I am using a uSD with an RPI4 which I am running not with UEFI. The reason is because I just want it to be headless and I didn't want to mess with UEFI settings to re-enable more than 3G of my 8G of RAM. I dimly recall having to swap in a new dtb to make sdmmc work with non-UEFI, but I am now unclear on what the problematic device was. But this is a 4 not a 5!! sdmmc1: SD card status: 4-bit, C10, U1, V10 ld1 at sdmmc1: <bunch-of-hex-redacted> ld1: 61120 MB, 7791 cyl, 255 head, 63 sec, 512 bytes/sect x 125173760 sectors ld1: GPT GUID: [guid] dk0 at ld1: "EFI", 163840 blocks at 32768, type: msdos dk1 at ld1: "netbsd-root", 124968960 blocks at 196608, type: ffs ld1: 4-bit width, High-Speed/SDR25, 50.000 MHz sdmmc0: 4-bit width, 50.000 MHz sdmmc0: SDIO function bwfm0 at sdmmc0 function 1 sd0 at scsibus0 target 0 lun 0: <Samsung, PSSD T7, 0> disk fixed uhub3: 4 ports with 4 removable, self powered sd0: fabricating a geometry sd0: 1863 GB, 1907729 cyl, 64 head, 32 sec, 512 bytes/sect x 3907029168 sectors [normal dk wedges on sd0, not interesting]