Re: No kernel in RockPro64 image

[Robert Swindells <rjs%fdy2.co.uk@localhost>]

John Klos <john%ziaspace.com@localhost> wrote:
>> It should have an elf /netbsd in the NetBSD partition.
>> In /EFI/BOOT/ you should only find the *.efi bootloader.
>>
>> This is default setup on all aarch64 machines when we boot via EFI, and
>> the root of the netbsd partition is the default search path for the
>> bootloader.
>>
>> Why do you think you need to interrupt the boot countdown and enter a different
>> kernel name?
>
>I just got a new new image and wrote it to an SD card:
>
>NetBSD-evbarm-aarch64-201902222120Z-rockpro64.img.gz
>
>On boot, I get:
>
>>> NetBSD/evbarm EFI Boot (aarch64), Revision 1.8 (Fri Feb 22 18:17:22 UTC 
>2019) (from NetBSD 8.99.34)
>Press return to boot now, any other key for boot prompt
>booting netbsd - starting in 0 seconds.
>open netbsd: Invalid argument
>boot: netbsd: Invalid argument
>booting netbsd.gz - starting in 0 seconds.
>open netbsd.gz: Invalid argument
>boot: netbsd.gz: Invalid argument

IME, this is a sign of a bad SD card.

I saw the same errors on my Pinebook to begin with.