Closed JohannesNeu closed 2 years ago
Booting the Freebsd 13.1 RPI image on the same board works. edit: Booting the Freebsd 13.1 memdisk + RPI4-UEFI image does not work on both raspberry pi 4 and raspberry pi 4 compute module (no difference as far as I could see), I tested USB thumb drive, sdcard and onboard emmc
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=264574 I referenced this problem over here at FreeBSD as well.
The bcm2835_sdhci driver in FreeBSD does not seem to support ACPI attachments and therefore does not work. I do not think this is an issue of RPi4-UEFI
Hi, I try to boot Freebsd 13.1 with RPi4-UEFI and I get stuck with the kernel not being able to mount the root filesystem. This is the UEFI Menu with the version:
I think this may somehow be related to the system waiting for USB? At least that is what I found on the internet, but I am a little bit stuck here, because I do not know if this is acutally an UEFI or Freebsd issue, or a combination of both.
I have this bootlog, can some information be derived from that?