On Tue, Apr 09, 2024 at 10:20:28PM +0200, Mark Kettenis wrote:
> There may be a better we to solve the first install issue.  If we
> provide our own zip file with boot firmware, bootloader and bsd.rd for
> the Asahi installer, we can make sure the right boot firmware is used.

I like the idea and tobhe explained it to me, but that seems to require
noticably more time, effort and setup, so let me propose a diff in the
meantime.