Good afternoon,
I can see that the Radaxa e20c (RK3258) is supported as per
[https://www.openbsd.org/arm64.html]
I can see the dtb files within the packages which is cool. I can add them to
the install78 image
[https://github.com/openbsd/ports/blob/master/sysutils/dtb/pkg/PLIST#L2793]
However I cannot find the u-boot files for this specific hardware within the
OpenBSD packages. Is the intention to use an existing one for a similar chip?
(similar was the case for the allwinner A10 / pcduinov2) If so, which one is
recommended? Closest I could find was rk3328 or rk3588.
Many thanks!
Karsten
