Hello everyone, this is my first time on the list, but I've been around for a long time. OpenBSD is OpenBSD, enough said.
I know that the Icicle board support is currently declared "incomplete", and I also have a Sifive Unmatched system, which works very well. Icicle, not so much: It wasn't too hard to produce an SD card that boots to install, but sadly, since the board multiplexes MMC and SD, so they are mutually exclusive. My intuition was to try booting via bootp/DHCP or maybe an OTG stick, but not nothing seems to work. stock `bsd` and `bsd.rd` don't recognize 99% of the device tree. Any hints how to achieve a viable install? -- k. -- Sent from my Imperial Star Destroyer