Putting the RPI image onto a USB stick, booting from it and installing the system to the sdcard with 'bsdinstall' works. Because this installation won't boot on the Raspberry, the files from the zip from here
https://github.com/pftf/RPi4/releases
have to be copied into the root of the EFI partition on the sdcard. The result is that the Raspberry boots #FreeBSD from the sdcard.
Unfortunately, the booting process is interrupted by an error message I don't understand. I'm done with this.
=> More informations about this toot | View the thread | More toots from mrcool@social.tchncs.de
=> View freebsd tag This content has been proxied by September (3851b).Proxy Information
text/gemini