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.
from the developers view : YESAny progress ......?
yes, FreeBSD boots from SD on the RPI4 but that has nothing to do with NetBSDSo you booted from SD using the NetBSD drivers?
.. there's no SD-card driver in that sense , it boots from u-boot & the manufacturer's firmware.We have a working SD card driver in HEAD (currently doesn’t work for me again probably because I have some weird setup to get the JTAG to work).
..... The NetBSD driver ...
(maybe for coincidence).... you could mount root .....
I just imaged an SD card with 64-bit ARMv8 aarch64 and booted it on a 4GB Raspberry Pi 4 model B (2018). It booted without modification and displayed on an HDMI monitor but there was no power to any of the USB ports. It did recognize the Ethernet port (not the wireless one). So close....In case people haven't noticed, the Raspberry Pi 4 has been announced. Theoretically it's available but as is typical, everything is back-order (in the suppliers I deal with). There are some interesting updates:
1.5 GHz Quad Core
1, 2, or 4 GB of RAM (you choose at time of purchase)
Dual 4K display support (and switch to HDMI-C type connector)
New power (usb-c type connector)
I am looking forward to seeing how things progress for FreeBSD on RPi for this one. The specs are on-par with a low-end desktop/netbook type system.
Freaks, what's going on here, nobody of you tests the driver? Everyone wants something but nobody wants to help?
As you already know, your BSD-world-premiere-u-boot-hack on the RPI4/8GB is even better than you thoughtNot sure about ethernet.
root@generic:~ # sysctl hw.physmem hw.physmem: 8422461440 root@generic:~ # ping forums.freebsd.org PING forums.freebsd.org (126.96.36.199): 56 data bytes 64 bytes from 188.8.131.52: icmp_seq=0 ttl=45 time=213.881 ms 64 bytes from 184.108.40.206: icmp_seq=1 ttl=45 time=203.807 ms 64 bytes from 220.127.116.11: icmp_seq=2 ttl=45 time=189.085 ms ^C --- forums.freebsd.org ping statistics --- 3 packets transmitted, 3 packets received, 0.0% packet loss round-trip min/avg/max/stddev = 189.085/202.258/213.881/10.182 ms