I'm trying to get Xen running on the Rock64 SBC (Rockchip RK3328).
Basically I'm at a point where I am able to manually kick off efi boot from a uboot command line and getting a couple of errors (FDT_ERR_BADMAGIC and one that looks like it's coming from the EFI loader)-- see the output from uboot below.
=> set devtype mmc
=> set devnum 1
=> set distro_bootpart 6
=> run boot_efi_binary
reading efi/boot/bootaa64.efi
885072 bytes read in 129 ms (6.5 MiB/s)
libfdt fdt_check_header(): FDT_ERR_BADMAGIC
## Starting EFI application at 02000000 ...
Card did not respond to voltage select!
mmc_init: -95, time 10
Scanning disk rksdmmc@xxxxxxxxxxxx...
Scanning disk rksdmmc@xxxxxxxxxxxx...
Found 2 disks
Xen 4.11-rc (c/s Tue May 1 09:03:13 2018 +0100 git:0306a1311d) EFI loader
Couldn't obtain the File System Protocol Interface: ErrCode: 0x8000000000000003
## Application terminated, r = 0