I modified the original dtb by adding in the chosen section
stdout-path=
--- rk3588-orig.dts 2022-12-27 20:26:52.358052771 +0000
+++ rk3588.dts 2022-11-24 20:42:59.137942955 +0000
@@ -8661.6 +8661.7 @@
};
chosen {
+ stdout-path = "/serial@feb50000";
bootargs = "earlycon=uart8250,mmio32,0xfeb50000 console=ttyFIQ0 irqchip.gicv3_pseudo_nmi=0 root=PARTUUID=614e0000-0000 rw rootwait";
};
You can try my UEFI binary, it should work.
https://personalbsd.org/download/Business/RK3588_NOR_FLASH.img
I have not tried the standard FreeBSD image,
I’m not sure if the console will work correctly there.
I used my test image for RK3568 which I ran in ACPI mode on a Rock-5B.
This image will definitely work.