Hi Steve,
On Sat, 13 Jan 2018, Steve McIntyre wrote:
On Fri, Jan 12, 2018 at 07:59:14PM +0100, Thorsten Alteholz wrote:
am I right that this U-Boot stumbles over partition id 0xef of the second
partition of the installer iso?
?? Not sure what you mean...
the iso images of the netinst arm64 debian installer have two partitions,
one of type 83 (= Linux) and one of type ef (= EFI (FAT-12/16/32)). The
U-Boot in the Macchiatobin SPI flash can access files on partitions of
type 83 and 6 with ext4load and fatload. So I assume that it just stumbles
over the efi partition due to a simple id mismatch. If this is the case
one could directly start from the usb debian installer without first
having to boot the EDK2 image from the sd card.
Does that make sense to you?
Sorry, no. How old/used is the USB drive?
Oh, this USB stick is rather old. A different one doesn't boot at all, but
an USB3 SD card reader seems to work now.
Thorsten
