On 2026-01-22 22:32, Nenhum_de_Nos wrote:
On January 22, 2026 5:03:40 PM GMT-03:00, Sylvain Saboua
<[email protected]> wrote:
So I got a new RK3399. I have done everything I expected but it won't
boot the openbsd SD card yet.
Upon receiving the card I plugged in and attempted :
(using linux_upgrade_tool the proprietary equivalent of rkdeveloptool)
...
Should I understand that the last attempt worked ? ...
Here's what I get on the UART interface upon rebooting the card :
...
Hi,
Hi and thanks for your help, I didn't get your message before reviewing
the list since I am not subscribed to @arm.
It wasn't clear to me if you have the U-boot for it. Do you?
Do you mean that there is a specific u-boot to be used for booting on
this SoC, other than the one that can be found in the packages ?
I had issues with 7.8 install media for arm. For orange pi 5 plus, as
an example, the 7.7 works fine.
I have tried with the 7.7 miniroot77.img ... still does not succeed.
You can dd it to a sdcard and write the U-boot to it. Works for me.
If you plan to install to another media, here the install media on usb
flash and U-boot on the sdcard works fine. Then in the install process
you can choose the desired media upon the available ones.
Tried this on R4SE, R5S, Rpi5 and orange pi 5 plus.
But those card probably have a u-boot that enables UEFI. That's not the
case on rockchip's u-boot, if I remember correctly. Perhaps I could try
with an older version of openbsd that didn't boot using EFI. Heck, I
know I managed to install openbsd on this card *once*, so it must be
doable again, for damn's sake !
--
Sylvain Saboua
looking for a PDP-11
