Re: cannot boot from microSD card on aarch64 machine

[Vagrant Cascadian <vagrant@debian.org>]

[-- Attachment #1: Type: text/plain, Size: 1381 bytes --]

On 2022-04-03, Ricardo Wurmus wrote:
>> On 2022-04-02, Ricardo Wurmus wrote:
>>> Vagrant Cascadian <vagrant@debian.org> writes:

>>   Device 0: (1:0) Vendor: ATA Prod.: Faspeed F510-120 Rev: O080
>>               Type: Hard Disk
>>               Capacity: 114473.4 MB = 111.7 GB (234441648 x 512)
>>   ... is now current device
>>   Scanning scsi 0:2...
>>   Found /boot/extlinux/extlinux.conf
>>   Retrieving file: /boot/extlinux/extlinux.conf
>>   Ignoring unknown command: UI
>>   1:      GNU with Linux-Libre 5.17
...

> Hmm, unfortunately, this is not working for me :(
>
> I applied the patch, built u-boot-rockpro64-rk3399 with
>
>     ./pre-inst-env guix build u-boot-rockpro64-rk3399

Most perplexing. Since it at least worked for me, I went ahead and
pushed to master with the u-boot 2022.04 update.


> Maybe I made a mistake that would seem really obvious to others?

Nothing obvious so far, unfortunately...

My best guess is some difference in actual board model, card model, etc.

  $ lspci
  00:00.0 PCI bridge: Fuzhou Rockchip Electronics Co., Ltd RK3399 PCI Express Root Port
  01:00.0 SATA controller: ASMedia Technology Inc. ASM1062 Serial ATA Controller (rev 02)

Is your board a v2.1 ? The version is clearly printed on the board next
to the CPU. I'm not sure what the differences are with the v2 model, or
if there are newer variants.


live well,
  vagrant

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 227 bytes --]