netbooting ROCKPRo64?

[Tobias Nygren <tnn%NetBSD.org@localhost>]

Hi,

Anyone have this working? I'm stuck at this point.
The same bootaa64.efi and fdt work when loaded from SD card ...

=> dhcp
=> fdt_addr_r=0x1f00000
=> fdt_file=dtb/rockchip/rk3399-rockpro64.dtb
=> kernel_file=bootaa64.efi
=> kernel_addr_r=0x2000000
=> tftp ${fdt_addr_r} ${fdt_file}
Bytes transferred = 78610 (13312 hex)
=> fdt addr ${fdt_addr_r}
=> tftp ${kernel_addr_r} ${kernel_file}
Bytes transferred = 205136 (32150 hex)
=> bootefi ${kernel_addr_r} ${fdt_addr_r}

## Starting EFI application at 02000000 ...
Card did not respond to voltage select!
mmc_init: -95, time 24
Scanning disk sdhci%fe330000.blk@localhost...
MMC: block number 0x1 exceeds max(0x0)
MMC: block number 0x1 exceeds max(0x0)
MMC: block number 0x44 exceeds max(0x0)
Scanning disk dwmmc%fe320000.blk@localhost...
Found 2 disks
"Synchronous Abort" handler, esr 0x96000010
ELR:     f4eb0424
LR:      f4eb39f4
x0 : 0000000000000000 x1 : 0000000000000004
x2 : 0000000000000000 x3 : 0000000000000000
x4 : 0000000000000010 x5 : 000000000000003b
x6 : 00000000f7f8dec7 x7 : 00000000f5f3f8d0
x8 : 0000000000000001 x9 : 0000000041a5f19c
x10: 0000000000000000 x11: 0000000008200000
x12: 00000000000000f0 x13: 00000000000000e4
x14: 00000000f5f0499c x15: 0000000008200000
x16: 000000001c768d51 x17: 00000000b8000400
x18: 00000000f5f10e08 x19: 00000000f4ed8188
x20: 0000000000000000 x21: 00000000f4ed7000
x22: 00000000f4ed81c8 x23: 00000000f5f049f0
x24: 00000000f4ed64e0 x25: 00000000f4ed7000
x26: 00000000f5f049e8 x27: 00000000f5f049f8
x28: 0000000000000000 x29: 00000000f5f04a40

Resetting CPU ...