FreeBSD on Rock 5B?

[jack]

Check this thread:

UEFI / EDK2 on the Rock 5B

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://…