Hi, 

I was trying to run the L4 demo vm-basic-pci for arm64 using the command

$ make qemu E=vm-basic-pci 
but It didn't work because of the missing 2 files : 
* virt-arm_virt-64_pci.dtb : which is requested by the modules.list file in the line :

module[arch=arm64,fname=virt-pci.dtb]     dtb/virt-arm_virt-64_pci.dtb

* virt-pci.dtbo : which is requested by the vm-basic-pci.cfg by the configuration

if (L4.Info.arch() == "arm64") then
   dt = "-drom/.fdt"              
   overlay = "-drom/virt-pci.dtbo"
else                              
   dt = "-drom/virt-pci.dtb"      
   overlay = ""                    
end

--