FreeBSD 14.0 RELEASE does not support the RK3588 SoC, but thanks to Tianocore EDKII UEFI it is possible to use different operating systems, including FreeBSD.
It was necessary to add a USB 2.0 driver for ACPI mode and fix the operation of the UART driver in this mode.
And now FreeBSD can be run on OrangePi 5 Plus from an SD card. The OS itself does not yet have a driver for an SD card and eMMC, but the system can be installed on a USB FLASH or NVMe SSD.
HDMI, USB 2.0, USB 3.0, NVMe, Ethernet will work.
I did burn image of
FreeBSD-aarch64-14.0-RELEASE-OrangePi-5P-20231111.img.xzandFreeBSD-aarch64-14.0-RELEASE-OrangePi-5P-20231209.img.xzonto microSD, but failed to boot.
-
You can try installing FreeBSD on OrangePi 5 Plus.
- Download the bootable SD card image.
- Burn it to SD.
- Insert the SD card into the device and turn on the power.
- After the OS starts, log in as root and run bsdinstall to install on an SSD or USB HDD.