maybe lazyness? ok i will try myself
UEFI / EDK2 on the Rock 5B
is hdmi allready working?
How did you manage to get FreeBSD to work? I got the Armbian EFI image to work but can’t get any FreeBSD image to work. Did you build one with crochet or just use one of the Pre-made default downloads. Currently getting this error complaining about a missing DTB:
This is because this PR removes DTB from UEFI.
You need to roll it back or substitute your custom DTB file into the kernel.
This can be done in FreeBSD’s efi loader configuration.
To do this, you need to modify the default FreeBSD image.
You need to put the DTB file in it in the /boot/dtb directory and create a configuration file for loader.efi - /boot/loader.conf
#
# Hack to get loader to find dtb.
#
dtbfile_load="YES"
dtbfile_type="dtb"
dtbfile_name="rk3588-rock-5b.dtb"
I use crochet for quick builds.
I rolled back the changes by uncommenting. However FreeBSD still hangs during the boot process. (I’m using USB for FreeBSD)
I’ll try the second option next by adding a custom DTB into the kernel instead. Are you using the one provided by the official Debian build?
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.
3 Likes
Hello SleepWalker,
could you please re-upload both files ? I want to test and play around with UEFI and FreeBSD.
How to handle with that RK3588_NOR_FLASH.img ?
Thanks
Andreas
1 Like
You just have to write it to the SD card.
You can just use the dd command
and FreeBSD on USB flash.
Hi All.
Has anyone managed to get PCIe to work correctly?
Thank you SleepWalker,
FreeBSD is working (only via serial console) but it’s okay for a first test.
Next test was with Fedora. GRUB console is working but afterwards only dump errors are visible. Nothing with I can handle.
Not good news.
Andreas
try it with other distros maybe arch or debian also the hated and loved ubuntu and why not armbian generic
Do you mean starting the system with M2\SSD using EDK2 (EDK2-EFI is placed on the SD card)?
Oh sure.
UEFI can be written to both eMMC and SPI FLASH I think.
The current PCIe driver in UEFI does not work correctly at all.
For example, I draw four NVMe from me, although I actually have one. All this is very strange.
If you add PCIe2 support then UEFI can add support for 2.5GbE Ethernet via the driver provided by REALTEK UEFI UNDI Driver for RTL8125
This may look very good on Rock 5B.
Hi @RadxaYuntian.
The Chinese New Year is already approaching.
Maybe Rockchip will give us a gift and add HDMI support to EUFI.
When can we expect good news?
I was working on another product lately. While I didn’t hear anything from Rockchip tight now, I’m expecting to start working on 5B after CNY. I’ll then collect the community feedback and try submitting them to Rockchip.
2 Likes
Do you know if HDMI support is in progress right now, or if Rockchip hasn’t yet started working on it?
Can you please reupload these files to a site other than Yandex? Given the current geopolitical situation, many of us probably won’t trust Yandex to host firmware images.
1 Like
They said they are working on it a while back. I’ll follow up on it with the community feedback.
Just provide checksum out-of-band or sign the files. There is no secure channel so we gotta learn to live with insecure channel.
1 Like