Re: Rockchip RK3588

Robert Swindells <[email protected]> Tue, 02 Sep 2025 15:47:51 +0100
Newsgroups gmane.os.netbsd.ports.arm
Message-ID <[email protected]>
Benny Siegert <[email protected]> wrote:
>On Tue, Sep 2, 2025 at 2:50 PM Robert Swindells <[email protected]> wrote:
>> Is anyone doing things with Rockchip RK3588 systems?
>>
>> Tried booting an Orange Pi 5 Max using EDK2, it freezes fairly early
>> in the boot, looks to be still in pmapboot.
>
> I am running an Orange Pi 5 (not Max) in production with NetBSD 10 and
> EDK2. It works perfectly.

Were there any EDK2 settings that you needed to change?

Your dmesg could be helpful.

I am more interested in FDT drivers in the long term but I also got
the board to be a faster aarch64 build system, so being able to boot
with EDK2 now would be good.