Hello,

On Tue, Mar 10, 2026 at 4:33 PM Karsten Pedersen <[email protected]> wrote:

> 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.
>
> 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?

The hardware supported is not complete, but you can try it.

You can use mainline u-boot master branch to boot OpenBSD.

I build on linux with:

git clone https://github.com/rockchip-linux/rkbin.git
git clone https://source.denx.de/u-boot/u-boot.git

cd u-boot

export RKBIN_DIR=../rkbin/bin/rk35
export BL31="${RKBIN_DIR}/rk3528_bl31_v1.20.elf"
export ROCKCHIP_TPL="${RKBIN_DIR}/rk3528_ddr_1056MHz_v1.11.bin"

make CROSS_COMPILE=aarch64-linux-gnu- radxa-e20c-rk3528_defconfig
make CROSS_COMPILE=aarch64-linux-gnu- -j$(nproc)

Then put on the SD card with:

DEV=/dev/sdc

wget https://ftp.fr.openbsd.org/pub/OpenBSD/snapshots/arm64/miniroot78.img

dd of="${DEV}" if=miniroot78.img
dd of="${DEV}" if=idbloader.img seek=64
dd of="${DEV}" if=u-boot.itb seek=16384

-- 
Vincent Legoll

Reply via email to