Le 09/10/2022 à 18:50, Mark Kettenis a écrit :
Date: Sun, 9 Oct 2022 17:54:51 +0200
From: Joel Carnat <j...@carnat.net>
Hello,
As it was referenced on the arm64 web page, I bought a Hardkernel
ODROID-HC4 to run OpenBSD. The thing is, I can't boot the OpenBSD
installer at all.
I have successfully ran an armbian instance from the microSD card so I
expect the hardware to be fully functional.
I have tried using install71.img and install72.img on a microSD card but
couldn't boot from it. The hardware comes with Petitboot, not with
U-boot. I'm not sure whether this matters or not.
Can someone who uses it explain with a bit of details how to install/run
OpenBSD on this particular hardware?
You'll need u-boot for this machine:
https://sibelius.home.xs4all.nl/firmware/odroid-hc4/u-boot.bin.sd.bin
Write that to an (empty) uSD-card and insert it into the uSD-card slot
on the board. Press the boot switch on the bottom of the board while
powering it on and it should boot. If you want to avoid having to
press the boot switch, you'll have to erase the SPI flash storage on
the board. This can be done from u-boot, but I forgot the exact
commands.
Thank you.
After dd your image on the µSD card, I have tried booting it using the
bottom button but nothing happened and it went back to Petitboot prompt.
So I used the Petitboot commands to erase the SPI. Then tried to boot
again. But I just don't get any output.
I'm using an HDMI screen if that matters. I didn't disassemble the
hardware to plug a serial console on it. Is U-boot limited to serial
console access?
Would it be possible to prepare an OpenBSD installation on the µSD card
using Qemu, for example, and boot the system this way?
Regards,
Joel C.
