> 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. Cheers, Mark
