> Date: Sat, 20 Oct 2018 19:22:52 -0700 (MST)
> From: Corsaire01
>
> Hello Mark,
Hi,
> I am another possessor of a Macchiatobin trying to run openbsd.
>
> However, I am not a happy camper since I am still unable to make it boot...
>
> I followed your carefully written procedure but fails miserably after
> entering the UEFI.
>
> Here is the UEFI Shell prompt I get after booting the uSD card
>
>
> As you can see it seems the USB key I put the minirootfs on does not appear.
>
> I tried too to boot with the Bootloader U-Boot 2017.03-armada-17.10 from the
> Marvell site http://macchiatobin.net/software/
>
> I get the same result as you, I can boot into u-boot fine, see the USB key
> contents, send it commands to load the binary blob and EFI payload but it
> crashes and reset.
>
> Here are my parameters:
>
> And the less-than-satisfactory result
>
>
> I also tried differents armada-8040-mcbin.dtb I got for the Ubuntu 16.04.03
> LTS image and from another source on the web (oups lost the link).
>
> So, I have a UEFI/U-boot bootable macchiatobin, but no way to make the
> actual openbsd kernel to be loaded and run.
>
> Did you make any progress on your part or have another reliable boot
> procedure ?
It seems some information has been stripped from your mail. My
experience with USB on this port aren't great. I think there are some
issues with powering the ports. Using a powered hub might help. The
problems might be related to missing GPIO code that has been recently
submitted to the tianocore edk2 mailing list.
Alternatively you could write the miniroot to a SATA disk (or SSD)
from another machine and try to boot from that.
