The following reply was made to PR kern/55101; it has been noted by GNATS.
From: John Bowers <jhbowers%alumni.princeton.edu@localhost>
To: gnats-bugs%netbsd.org@localhost, kern-bug-people%netbsd.org@localhost,
netbsd-bugs%netbsd.org@localhost, gnats-admin%netbsd.org@localhost, skrll%NetBSD.org@localhost
Cc:
Subject: Re: kern/55101 (boot of NetBSD 9.0 on Odroid-HC1 fails; found
problem, I think)
Date: Tue, 24 Mar 2020 11:15:57 -0400
Thanks for this.
Please pardon this noobie response. I wasn't able to try the link that you sent me because I'm unclear about how to load the software onto the SD card. Documentation is simply lacking, or not findable.
However, I was able to copy the current image (NetBSD-evbarm-earmv7hf-202003232120Z-odroid-xu3.img.gz) that I could flash to the SD card from https://www.armbsd.org/arm/. This is to confirm that it boots properly on my Odroid-HC1.
I have not tried anything else so far.