The most important thing is that freebsd not supports SDIO now.
Any progress in the last three months?I am pleased to report I have reached the login prompt on the raspberry pi 4.
Unfortunately I can’t login yet as shortly after /sbin/init starts something trashes the serial com link and I only get garbage over serial (in either direction). Probably just a misconfiguration.
I am able to login interactively over serial by doubling the speed of the serial link after init starts. I haven’t the faintest idea why the link speed changes. Things work well enough, but no peripherals or network so I’m limited in what I can test after logging in. But fundamentally the operating system works.Any progress in the last three months?
Anyway, thanks for the update. Is your code so far somewhere accessible?I also reached out to broadcom to ask for the specs. They were not helpful. I haven’t really had a lot of time to work on it unfortunately.
portsnap fetch update, that a RPI4 version of uboot is available.