Re: RPI4 USB Boot: Unable to find firmware device

Alex Samorukov <[email protected]>
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <[email protected]>
Answering myself - i was able to fix that and localize an issue.

Steps i did:

1. Installed on another USB disk raspbian and tried to select using
raspi-config usb as default one.

2. Overwritten most of the files from /boot of raspbian to msdosfs in
freebsd. This fixed the issue.

However, i decided to find a root cause. After all i found that it is
enough to replace _only_ bcm2711-rpi-4-b.dtb. I decompiled both and put
them to gh git:
https://gist.github.com/samm-git/c56e9e16e07339cea8606a78a7da7f58

I think most relevant part is
https://gist.github.com/samm-git/c56e9e16e07339cea8606a78a7da7f58#file-bcm2711-rpi-4-b-dtb-txt-diff-L1344
where bcm2835-firmware is attached to simple-mfd and not simple-bus. Do
we need to do some overlay for that?

Good news is that now powerd is working and i am getting 1500 CPU
frequency. But would be great to understand and document this in the RPI
wiki for other users. So any comments are welcome.

On 20.02.2021 16:56, Alex Samorukov wrote:
> Hello,
>
>
> I am booting FreeBSD generic 13.0-BETA3 from the USB. All works, but on
> boot i see "Unable to find firmware device" for the bcm2835_cpufreq0. As
> result - powerd is not working. I think it somehow expects firmware on
> mmc (which is missing) and fails to load it from USB. I did not found
> how to point kernel to the correct firmware device/path. Any hints?
>
>
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-arm
To unsubscribe, send any mail to "[email protected]"
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.